feat(abi): EchidnaABI.TacticRecord — fixed-point confidence + total-order proof#151

hyperpolymath merged 1 commit into

mainhyperpolymath/echidna:mainfrom

feat/idris2-abi-tactic-recordhyperpolymath/echidna:feat/idris2-abi-tactic-recordCopy head branch name to clipboard