idris

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

Current versions
1.2.0
HEAD

idris requires the following formulae to be installed:
cabal-install 2.0.0.1 Command-line interface for Cabal and Hackage
ghc 8.2.2 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

Recent formula history

ilovezfs idris 1.2.0
ilovezfs Use “squiggly” heredocs.
ilovezfs idris 1.1.1
ilovezfs idris 1.1.0
ilovezfs idris: depend on ghc@8.0

Formula code at GitHub