Idris
latest
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
Docs
»
Search
Edit on GitHub
Please activate JavaScript to enable the search functionality.
Read the Docs
v: latest
Versions
latest
stable
v1.3.4
v1.3.3
v1.3.2
v1.3.1
v1.3.0
v1.2.0
v1.1.1
v1.1.0
v1.0.1
v1.0
v0.99.2
v0.99.1
v0.99
v0.12.3
v0.12.2
v0.12.1
v0.12
v0.11.2
v0.11.1
v0.11
v0.10.3
v0.10.2
v0.10.1
v0.10
v0.9.20.2
v0.9.20.1
v0.9.20
v0.9.19.1
v0.9.19
v0.9.18.1
v0.9.18
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.