Champitoad/LambdaSub
Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
MakefileMIT
No issues in this repository yet.
Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.
MakefileMIT
No issues in this repository yet.