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

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

hyperpolymath merged 1 commit into

mainhyperpolymath/phronesis:mainfrom

fix/idris-abi-deceq-totalhyperpolymath/phronesis:fix/idris-abi-deceq-totalCopy head branch name to clipboard