Idris
v1.1.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
»
Search
Please activate JavaScript to enable the search functionality.
Read the Docs
v: v1.1.1
Versions
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.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
.