Further Reading
Further information about Idris programming, and programming with dependent types in general, can be obtained from various sources:
Type-Driven Development with Idris by Edwin Brady, available from Manning.
The Idris web site (https://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 2 source can be found online at:Existing projects on the
Idris Hackers
web space:Various papers (e.g. [1], [2], and [3]). Although these mostly describe older versions of Idris.