idris

Pure functional programming language with dependent types

Current versions:
0.99HEAD

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

Dependencies

idris requires the following formulae to be installed:

Formula history

Termina1idris 0.99
ilovezfsidris 0.12.3
ilovezfsidris 0.12.2
ilovezfsidris 0.12.1
ilovezfsidris: GHC 8 compatibility
ilovezfsidris 0.12
ilovezfsidris: install using haskell-stack
ilovezfsidris 0.11.2
Markus Klinkidris 0.11
Markus Klinkidris 0.10.2
Show all revisions of this formula