Skip to content

feat(abi-emit-manifest): emit ABI manifest from Idris2 source (standa… - #30

Closed
hyperpolymath wants to merge 1 commit into
mainfrom
feat/abi-verify-phase1b-emitter
Closed

feat(abi-emit-manifest): emit ABI manifest from Idris2 source (standa…#30
hyperpolymath wants to merge 1 commit into
mainfrom
feat/abi-verify-phase1b-emitter

Commits

  1. Commits on May 20, 2026