Idris

purely functional programming language

en-US/ˈaɪdɹɪs/

Categorie:

proof assistantprogramming language