idris

Pure functional programming language with dependent types

Current versions:
1.1.1HEAD

Homepage:https://www.idris-lang.org/

Dependencies

idris requires the following formulae to be installed:

Formula history

ilovezfsidris 1.1.1
ilovezfsidris 1.1.0
ilovezfsidris: depend on ghc@8.0
ilovezfsidris 1.0
ilovezfsidris 0.99.2
Viktor Szakatsidris: https in homepage
ilovezfsidris 0.99.1
Termina1idris 0.99
ilovezfsidris 0.12.3
ilovezfsidris 0.12.2
Show all revisions of this formula