Idris

purely functional programming language

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

קטגוריות:

proof assistantprogramming language