fix(idris2): make the dyadic parse front-end actually compile + gate it in CI - #340

fix(idris2): make the dyadic parse front-end actually compile + gate it in CI#340

hyperpolymath merged 1 commit into

mainhyperpolymath/ephapax:mainfrom

worktree-health-check-idris2-headershyperpolymath/ephapax:worktree-health-check-idris2-headersCopy head branch name to clipboard