Idris
v0.99.1
The Idris Tutorial
Frequently Asked Questions
The Effects Tutorial
Theorem Proving
Language Reference
Tutorials on the Idris Language
Idris
Docs
»
Search
Please activate JavaScript to enable the search functionality.
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
.