Further Reading — Idris 1.0 documentation

# 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 chat.freenode.net.
- The wiki (https://github.com/idris-lang/Idris-dev/wiki/) has further
    user provided information, in particular:
    - https://github.com/idris-lang/Idris-dev/wiki/Manual
    - https://github.com/idris-lang/Idris-dev/wiki/Language-Features
- 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.
- Existing projects on the `Idris Hackers` web space: http://idris-hackers.github.io.
- Various papers (e.g. [1], [2], and [3]). Although these mostly
    describe older versions of Idris.

[1] | Edwin Brady and Kevin Hammond. 2012. Resource-Safe systems programming with embedded domain specific languages. In Proceedings of the 14th international conference on Practical Aspects of Declarative Languages (PADL‘12), Claudio Russo and Neng-Fa Zhou (Eds.). Springer-Verlag, Berlin, Heidelberg, 242-257. DOI=10.1007/978-3-642-27694-1_18 http://dx.doi.org/10.1007/978-3-642-27694-1_18

[2] | Edwin C. Brady. 2011. IDRIS —: systems programming meets full dependent types. In Proceedings of the 5th ACM workshop on Programming languages meets program verification (PLPV ‘11). ACM, New York, NY, USA, 43-54. DOI=10.1145/1929529.1929536 http://doi.acm.org/10.1145/1929529.1929536

[3] | Edwin C. Brady and Kevin Hammond. 2010. Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. In Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (ICFP ‘10). ACM, New York, NY, USA, 297-308. DOI=10.1145/1863543.1863587 http://doi.acm.org/10.1145/1863543.1863587