Skip to content

Test proof-irrelevance and parameterised records systematically - #110

Open
mvr wants to merge 4 commits into
mainfrom
coln-compiler/more-ir-tests
Open

Test proof-irrelevance and parameterised records systematically#110
mvr wants to merge 4 commits into
mainfrom
coln-compiler/more-ir-tests

Mark one more test as failing

2d48387
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
rust-fmt
succeeded Jul 29, 2026 in 22s