idris

Pure functional programming language with dependent types

Current versions:
0.99.1HEAD

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

Dependencies

idris requires the following formulae to be installed:

Formula history

Viktor Szakatsidris: https in homepage
ilovezfsidris 0.99.1
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
Show all revisions of this formula