hyperpolymath

hyperpolymath/trope-checker

1 stars 0 forks 1 watchers Just Mozilla Public License 2.0

2 Open Issues Need Help Last updated: Jul 6, 2026

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? 29 days ago

enhancement help wanted

hyperpolymath/trope-checker

1

Just

O4: fidelity/limit carrier — does `ℕ ∪ {∞,⊤}` suffice, or is a transfinite/coinductive carrier needed? (gates CO-1) 30 days ago

enhancement help wanted

hyperpolymath/trope-checker

1

Just