fix(lol/abi): make the lol-abi Idris package typecheck - #389

fix(lol/abi): make the lol-abi Idris package typecheck#389

hyperpolymath merged 2 commits into

mainhyperpolymath/standards:mainfrom

claude/hopeful-babbage-pn0l4ohyperpolymath/standards:claude/hopeful-babbage-pn0l4oCopy head branch name to clipboard