Code

Add support for type dynamic#292

Code

Open

rossberg wants to merge 7 commits intomasterdfinity/candid:masterfrom dyndfinity/candid:dynCopy head branch name to clipboard

+75-8

Commits

Commits on Nov 3, 2021

• Add type dynamic

  rossberg

  committed
  46c5884

  Copy full SHA for 46c5884

• Change encoding

  rossberg

  committed
  b305e50

  Copy full SHA for b305e50

• Fix future type rep

  rossberg

  committed
  24fa1c1

  Copy full SHA for 24fa1c1

Commits on Nov 11, 2021

• Typo

  rossberg

  committed
  569e1f2

  Copy full SHA for 569e1f2

Commits on Dec 3, 2021

• Gradual typing

  rossberg

  committed
  751bdf6

  Copy full SHA for 751bdf6

Commits on Dec 8, 2021

• Separate graduality from subtyping

  rossberg

  committed
  14261c7

  Copy full SHA for 14261c7

• Avoid non-det overlap in rules

  rossberg

  committed
  585e694

  Copy full SHA for 585e694