===== Idris book =====
| [[Idris syntax]] $\blacktriangleright$ Idris book $\blacktriangleright$ [[...]] |
==== Book ====
=== Discussion ===
=== Reference ===
Manning:
[[https://www.manning.com/books/type-driven-development-with-idris | Type-driven development with idris]]

-----
=== Related ===
[[Idris syntax]]