Skip to content

Add mutually recursive types to Core concrete syntax#360

Merged
joscoh merged 37 commits intomainfrom
josh/mutual-ddm
Feb 12, 2026
Merged

Add mutually recursive types to Core concrete syntax#360
joscoh merged 37 commits intomainfrom
josh/mutual-ddm

Commits

Commits on Jan 28, 2026

Commits on Jan 29, 2026

Commits on Jan 30, 2026

Commits on Feb 2, 2026

Commits on Feb 4, 2026

Commits on Feb 5, 2026

Commits on Feb 6, 2026

Commits on Feb 9, 2026

Commits on Feb 10, 2026

Commits on Feb 11, 2026

Commits on Feb 12, 2026