Add mutually recursive types to Lambda#333

Open

joscoh wants to merge 17 commits intomainfrom

Commits on Jan 16, 2026

Add mutual recursion to TypeFactory
Josh Cohen
committed
Add checks for type ordering and nonemptiness
Josh Cohen
committed
Add mutually recursive types to SMT encoding
Josh Cohen
committed
Merge branch 'main' into josh/mutual
Josh Cohen
committed

Commits on Jan 17, 2026

Clean up code in LExprTypeEnv and TypeFactory
Josh Cohen
committed
Minor cleaning up code
Josh Cohen
committed

Commits on Jan 20, 2026

Merge branch 'main' into josh/mutual
Josh Cohen
committed
Add part of ProgramWF proof with multiple names
Josh Cohen
committed
Add NoDup proof for multiple names
Josh Cohen
committed
Make proofs a bit nicer
Josh Cohen
committed

Commits on Jan 21, 2026

Delete commented out code
Josh Cohen
committed
Merge branch 'main' into josh/mutual
Josh Cohen
committed
Merge branch 'main' into josh/mutual
joscoh
authored

Commits on Jan 22, 2026

Address review comments
Josh Cohen
committed
Merge branch 'josh/mutual' of https://github.com/strata-org/Strata into josh/mutual
Josh Cohen
committed
Add tests for review comments
Josh Cohen
committed

Commits on Jan 23, 2026

Merge branch 'main' into josh/mutual
Josh Cohen
committed