Idris

purely functional programming language

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

カテゴリ：

proof assistantprogramming language