===== Idris =====
| [[Notes on programming languages]] $\blacktriangleright$ Idris $\blacktriangleright$ [[Idris syntax]] |
==== Note ====
=== Language ===
See also [[Idris syntax]]

=== Discussion ===
=== Reference ===
Basics including prelude:

http://www.idris-lang.org/docs/current/
== Code exmaples ==
== Q & A ==
-----
=== Related ===
[[Idris syntax]],
[[Haskell]],
[[Haskell type system]]

=== Requirements ===
[[Notes on programming languages]]