Matches in DBpedia 2015-10 for { ?s ?p "Idris is a general-purpose purely functional programming language with dependent types. The type system is similar to the one used by Agda.The language supports interactive theorem-proving comparable to Coq, including tactics, while the focus remains on general-purpose programming even before theorem-proving."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Idris_(programming_language) comment "Idris is a general-purpose purely functional programming language with dependent types. The type system is similar to the one used by Agda.The language supports interactive theorem-proving comparable to Coq, including tactics, while the focus remains on general-purpose programming even before theorem-proving.".