Experimental functional programming language and proof assistant
Primary LanguageIdris
No issues in this repository yet.