Idris

purely functional programming language

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

Categorías:

proof assistantprogramming language