Code

CBPV type system basics and renamer#49

Code

Open

kozross wants to merge 3 commits intomainmlabs-haskell/covenant:mainfrom koz/types-and-unificationmlabs-haskell/covenant:koz/types-and-unificationCopy head branch name to clipboard

+583

Commits

Commits on Mar 3, 2025

• Renamer

  kozross

  committed
  3f6c952

  Copy full SHA for 3f6c952

Commits on Mar 4, 2025

• Documentation, cleanup

  kozross

  committed
  67b0ccd

  Copy full SHA for 67b0ccd

• Fix off-by-one, forbid certain constructions that make no sense

  kozross

  committed
  19a98a7

  Copy full SHA for 19a98a7