an implementation of Observational Type Theory (OTT) and more
Primary LanguageOCamlBSD Zero Clause License0BSD