Tags: Programming Language.

Idris is a general-purpose pure 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.

influenced by
ML (programming language), Agda (programming language), Coq, Haskell (programming language), Epigram (programming language)
latest release date
2014-04-04
latest release version
0.9.12

Loading...

This page contains content from the copyrighted Wikipedia article "Idris (programming language)"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.