Open Issues Need Help
View All on GitHub CO-1: operational model for `fix`/lfp — does recursion's grade live in the commutative cost-quotient? about 1 month ago
enhancement help wanted
O4: fidelity/limit carrier — does `ℕ ∪ {∞,⊤}` suffice, or is a transfinite/coinductive carrier needed? (gates CO-1) about 2 months ago
enhancement help wanted