Skip to content

fix(abi/idris): sound total decidable type equality — Types.idr now typechecks - #50

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/idris-abi-deceq-total
Jun 15, 2026
Merged

fix(abi/idris): sound total decidable type equality — Types.idr now typechecks#50
hyperpolymath merged 1 commit into
mainfrom
fix/idris-abi-deceq-total

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

c8a6716
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar