docs: enumerate L1 admits + L3 K + idris2 partial in proof-debt.adoc (unblocks #153)#169

hyperpolymath merged 1 commit into

proof/l1-region-threading-designhyperpolymath/ephapax:proof/l1-region-threading-designfrom

docs/proof-debt-l1-admitshyperpolymath/ephapax:docs/proof-debt-l1-admitsCopy head branch name to clipboard