r/Idris

784 archived posts · Apr 2014 – Feb 2024

Idris, a functional programming language with full dependent types.

r/Idris

Idris is a pure, Pac-Man-complete functional programming language with dependent types. Website: http://www.idris-lang.org See also our IRC channel at #idris on Freenode.

Created Feb 28, 2014 · restricted

3.2KMembers (last snapshot)

784Archived posts

Idris is a pure, Pac-Man-complete functional programming language with dependent types.

Website: http://www.idris-lang.org
Tutorials: http://docs.idris-lang.org/en/latest/tutorial/
Interactive: https://tryidris.herokuapp.com/console
Full-featured editor modes:
- Atom
- Emacs
- Vim
Books: https://www.manning.com/books/type-driven-development-with-idris
Mailing List: https://groups.google.com/forum/#!forum/idris-lang
Misc: http://stackoverflow.com/tags/idris/info

See also our IRC channel at #idris on Freenode (web gateway).

Other communities

Reddit Rebuilt is an independent, non-commercial archive and is not affiliated with Reddit, Inc. Content belongs to its original authors.