Skip to content

fix(abi/idris): make Types.idr typecheck total — sound decidable type… - #62

Merged
hyperpolymath merged 2 commits into
mainfrom
fix/idris-abi-deceq-total
Jun 22, 2026
Merged

fix(abi/idris): make Types.idr typecheck total — sound decidable type…#62
hyperpolymath merged 2 commits into
mainfrom
fix/idris-abi-deceq-total

Merge branch 'main' into fix/idris-abi-deceq-total

4633e3a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar