Further Reading¶
Further information about Idris programming, and programming with dependent types in general, can be obtained from various sources:
The Idris web site (http://www.idris-lang.org/) and by asking questions on the mailing list.
The IRC channel
#idris
, on webchat.freenode.net.- The wiki (https://github.com/idris-lang/Idris-dev/wiki/) has further
user provided information, in particular:
- Examining the prelude and exploring the
samples
in the distribution. The Idris source can be found online at: https://github.com/idris-lang/Idris-dev.
- Examining the prelude and exploring the
Existing projects on the
Idris Hackers
web space: http://idris-hackers.github.io.