Prototype functional programming language with nested inductive / coinductive types, with totality checking using the size change principle
Primary LanguageOCamlOtherNOASSERTION
No issues in this repository yet.