git.iko.soy/Idris-dev
on 372d2ea help sign in
Idris-dev/docs/tutorial/conclusions.rst
54 lines 2.2 kB history raw
1.. _sect-concs:
3***************
4Further Reading
5***************
7Further information about Idris programming, and programming with
8dependent types in general, can be obtained from various sources:
10- The Idris web site (http://www.idris-lang.org/) and by asking
11 questions on the mailing list.
13- The IRC channel ``#idris``, on
14 `chat.freenode.net <http://chat.freenode.net>`__.
16- The wiki (https://github.com/idris-lang/Idris-dev/wiki/) has further
17 user provided information, in particular:
19 - https://github.com/idris-lang/Idris-dev/wiki/Manual
21 - https://github.com/idris-lang/Idris-dev/wiki/Language-Features
23- Examining the prelude and exploring the ``samples`` in the
24 distribution. The Idris source can be found online at:
25 https://github.com/idris-lang/Idris-dev.
27- Existing projects on the ``Idris Hackers`` web space:
28 http://idris-hackers.github.io.
30- Various papers (e.g. [1]_, [2]_, and [3]_). Although these mostly
31 describe older versions of Idris.
33.. [1] Edwin Brady and Kevin Hammond. 2012. Resource-Safe systems
34 programming with embedded domain specific languages. In
35 Proceedings of the 14th international conference on Practical
36 Aspects of Declarative Languages (PADL'12), Claudio Russo and
37 Neng-Fa Zhou (Eds.). Springer-Verlag, Berlin, Heidelberg,
38 242-257. DOI=10.1007/978-3-642-27694-1_18
39 http://dx.doi.org/10.1007/978-3-642-27694-1_18
41.. [2] Edwin C. Brady. 2011. IDRIS ---: systems programming meets full
42 dependent types. In Proceedings of the 5th ACM workshop on
43 Programming languages meets program verification (PLPV
44 '11). ACM, New York, NY, USA,
45 43-54. DOI=10.1145/1929529.1929536
46 http://doi.acm.org/10.1145/1929529.1929536
48.. [3] Edwin C. Brady and Kevin Hammond. 2010. Scrapping your
49 inefficient engine: using partial evaluation to improve
50 domain-specific language implementation. In Proceedings of the
51 15th ACM SIGPLAN international conference on Functional
52 programming (ICFP '10). ACM, New York, NY, USA,
53 297-308. DOI=10.1145/1863543.1863587
54 http://doi.acm.org/10.1145/1863543.1863587