Code

Finish function cases#159

Code

Merged

Ailrun merged 7 commits intomainBeluga-lang/McTT:mainfrom pr-finish-function-casesBeluga-lang/McTT:pr-finish-function-casesCopy head branch name to clipboardAug 25, 2024

+945-435

Commits

Commits on Aug 22, 2024

• Refactor soundness a bit

  Ailrun

  committed
  bddf02b

  Copy full SHA for bddf02b

• Finish function cases for soundness

  Ailrun

  committed
  04f6747

  Copy full SHA for 04f6747

Commits on Aug 24, 2024

• Fix completeness imports

  Ailrun

  committed
  3896ba5

  Copy full SHA for 3896ba5

• Optimize soundness cases

  Ailrun

  committed
  9e1fe44

  Copy full SHA for 9e1fe44

• Admit nat cases for now

  Ailrun

  committed
  d279b08

  Copy full SHA for d279b08

Commits on Aug 25, 2024

• Optimize some cases

  Ailrun

  committed
  acbd703

  Copy full SHA for acbd703

• Use unify for find_dups

  Ailrun

  authored
  50572a0

  Copy full SHA for 50572a0