proof(L1): typing judgment with R-threading + counterexample regression Qed - #155

proof(L1): typing judgment with R-threading + counterexample regression Qed#155

hyperpolymath merged 1 commit into

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

proof/l1-region-threading-implhyperpolymath/ephapax:proof/l1-region-threading-implCopy head branch name to clipboard