Code

Removing thunks from the typechecker#269

Code

Open

gabriel-barrett wants to merge 3 commits intomainargumentcomputer/yatima:mainfrom gb/no-thunksargumentcomputer/yatima:gb/no-thunksCopy head branch name to clipboard

+179-228

Commits

Commits on Mar 23, 2023

• WIP removing thunks from the typechecker

  gabriel-barrett

  committed
  c4a448b

  Copy full SHA for c4a448b

• Removed thunks from the typechecker

  gabriel-barrett

  committed
  0aa63ce

  Copy full SHA for 0aa63ce

Commits on Mar 26, 2023

• Adding exceptions to value again

  gabriel-barrett

  committed
  7d1103b

  Copy full SHA for 7d1103b