Idris is a general-purpose pure functional programming language with dependent types.
- https://www.idris-lang.org/
- https://github.com/idris-lang/Idris-dev
- https://github.com/idris-lang/Idris-dev/wiki
- https://github.com/idris-lang/Idris-dev/wiki/Contributions-Needed
- https://groups.google.com/forum/#!forum/idris-lang
- https://www.reddit.com/r/Idris/
- https://twitter.com/idrislang
- https://functionalprogramming.slack.com/messages/idris
- https://hackage.haskell.org/package/idris
Documentation
Installation
- https://github.com/idris-lang/Idris-dev/wiki/Installation-Instructions
- https://github.com/idris-lang/Idris-dev/blob/master/INSTALL.md
macOS
https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Mac-OS-X
$ brew install idris $ idris --version
Git
https://github.com/idris-lang/Idris-dev/wiki/Installing-an-Idris-Development-version-in-a-sandbox
$ git clone https://github.com/idris-lang/Idris-dev $ cd Idris-dev/ $ cabal sandbox init $ cabal update $ cabal install --only-dependencies $ make CABALFLAGS='-f FFI -f GMP' $ .cabal-sandbox/bin/idris --version
Books
- Type-Driven Development with Idris (2017) by Edwin Brady (GitHub, Goodreads)
- Software Foundations in Idris (GitHub, PDF)