Skip to content

Fix/idris2 totality and elaboration cures - #217

Merged
hyperpolymath merged 15 commits into
mainfrom
fix/idris2-totality-and-elaboration-cures
Sep 17, 2026
Merged

Fix/idris2 totality and elaboration cures#217
hyperpolymath merged 15 commits into
mainfrom
fix/idris2-totality-and-elaboration-cures

fix(ci): drop stray 'actions: read' under permissions: read-all (unpa…

b17e81f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar