Experimental functional programming language and proof assistant
Primary LanguageIdris
Experimental functional programming language and proof assistant.