Read the Docs
Log In
View Docs
The Idris Language
Overview
Downloads
Search
Builds
Versions
Active Versions
latest
master
View Docs
stable
d37b0cbc
View Docs
v1.3.4
d37b0cbc
View Docs
v1.3.3
0f4c4a66
View Docs
v1.3.2
79104f44
View Docs
v1.3.1
1510fce9
View Docs
v1.3.0
61cf812e
View Docs
v1.2.0
d77513b9
View Docs
v1.1.1
cec8697c
View Docs
v1.1.0
70f172c9
View Docs
v1.0.1
7a54e9cf
View Docs
v1.0
e371823b
View Docs
v0.99.2
937c707d
View Docs
v0.99.1
a624eb03
View Docs
v0.99
4a54ee77
View Docs
v0.12.3
59577e6c
View Docs
v0.12.2
a0c98e42
View Docs
v0.12.1
57084557
View Docs
v0.12
5d937e1b
View Docs
v0.11.2
f8e66f93
View Docs
v0.11.1
11c7d46a
View Docs
v0.11
33037476
View Docs
v0.10.3
df05f31d
View Docs
v0.10.2
911b97d7
View Docs
v0.10.1
fdb04aff
View Docs
v0.10
6d9ef7bd
View Docs
v0.9.20.2
426cb729
View Docs
v0.9.20.1
140d06ab
View Docs
v0.9.20
913cddbb
View Docs
v0.9.19.1
ccf6c405
View Docs
v0.9.19
8472399e
View Docs
v0.9.18.1
c58ed3ac
View Docs
v0.9.18
ad553427
View Docs