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 5 hours ago
enhancement help wanted
O4: fidelity/limit carrier — does `ℕ ∪ {∞,⊤}` suffice, or is a transfinite/coinductive carrier needed? (gates CO-1) about 5 hours ago
enhancement help wanted