Further information about Idris programming, and programming with dependent types in general, can be obtained from various sources:
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
samplesin the distribution. The Idris 2 source can be found online at:
Existing projects on the
Idris Hackersweb space: