Experimental functional programming language and proof assistant
Primary LanguageIdris
No one’s watching this repository yet.