Idris
v1.3.1
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
Docs
»
Index
Edit on GitHub
Index
Read the Docs
v: v1.3.1
Versions
latest
stable
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
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.