Idris
1.3
The Idris Tutorial
Frequently Asked Questions
Implementing State-aware Systems in Idris: The ST Tutorial
The Effects Tutorial
Theorem Proving
Language Reference
Tutorials on the Idris Language
Idris
Index
Index