Prototype functional programming language with nested inductive / coinductive types, with totality checking using the size change principle
Primary LanguageOCamlOtherNOASSERTION