A minimalist implementation of type theory, suitable for experimentation
Primary LanguageOCaml
No one’s star this repository yet.