Idris
v0.99.1
The Idris Tutorial
Frequently Asked Questions
The Effects Tutorial
Theorem Proving
Language Reference
Tutorials on the Idris Language
Idris
Docs
»
Index
Edit on GitHub
Index
Read the Docs
v: v0.99.1
Versions
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
.