Skip to content

Added various parts of the well typedness checks#82

Open
mlaveaux wants to merge 19 commits into
MERCorg:mainfrom
mlaveaux:feature/typecheck
Open

Added various parts of the well typedness checks#82
mlaveaux wants to merge 19 commits into
MERCorg:mainfrom
mlaveaux:feature/typecheck

Merge branch 'main' into feature/typecheck

24f1fe1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
test
succeeded Jun 5, 2026 in 8m 34s