idris

Pure functional programming language with dependent types
https://www.idris-lang.org/

Current versions
1.1.1
HEAD

idris requires the following formulae to be installed:
cabal-install 2.0.0.0 Command-line interface for Cabal and Hackage
ghc 8.2.1 Glorious Glasgow Haskell Compilation System
pkg-config 0.29.2 Manage compile and link flags for libraries
libffi 3.2.1 Portable Foreign Function Interface library

Formula history

ilovezfs idris 1.1.1
ilovezfs idris 1.1.0
ilovezfs idris: depend on ghc@8.0
ilovezfs idris 1.0
ilovezfs idris 0.99.2
Viktor Szakats idris: https in homepage
ilovezfs idris 0.99.1
Termina1 idris 0.99
ilovezfs idris 0.12.3
ilovezfs idris 0.12.2
Show all revisions of this formula