Idris book
Idris syntax
$\blacktriangleright$ Idris book $\blacktriangleright$
...
Book
Discussion
Reference
Manning:
Type-driven development with idris
Related
Idris syntax