Development in Idris of standard meta-theory for a simply-typed lambda calculus with recursion.
Primary LanguageIdrisMIT LicenseMIT