Idris
1.3
The Idris Tutorial
Frequently Asked Questions
Implementing State-aware Systems in Idris: The ST Tutorial
The Effects Tutorial
Theorem Proving
Elaborator Reflection
Lexer and Parser Library
Language Reference
Tutorials on the Idris Language
Idris
Search
Please activate JavaScript to enable the search functionality.