Skip to content

fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305 - #206

Open
hyperpolymath wants to merge 3 commits into
mainfrom
fix/idris2-build-blockers
Open

fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305#206
hyperpolymath wants to merge 3 commits into
mainfrom
fix/idris2-build-blockers

docs: correct the postulate count from 46 to 42 (declaration position…

89d89ee
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar