/type-theory

Practical homework from type theory course

Primary LanguageOCaml

No issues in this repository yet.