feat(abi-emit-manifest): emit ABI manifest from Idris2 source (standards#92 Phase 1b) - #14

feat(abi-emit-manifest): emit ABI manifest from Idris2 source (standards#92 Phase 1b)#14

hyperpolymath merged 1 commit into

mainhyperpolymath/iseriser:mainfrom

feat/abi-verify-phase1b-emitterhyperpolymath/iseriser:feat/abi-verify-phase1b-emitterCopy head branch name to clipboard