A programming language based on extensional Martin Lof Type Theory
Primary LanguageIdrisMIT LicenseMIT