/type-theory

Practical homework from type theory course

Primary LanguageOCaml

Stargazers

No one’s star this repository yet.