Idris-written, correct-by-construction, simply-typed lambda calculus.
Primary LanguageIdrisMIT LicenseMIT