Read the Docs logo
Navigation
Projects
Signed in as: AnonymousUser
Settings Log out
Help
Support Docs Getting started Status
Sign up
Log in
The Idris Language
EN
Versions 33 Builds 1841
Version
All versions v1.3.4 v1.3.3 v1.3.2 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.9.20.2 v0.9.20.1 v0.9.20 v0.9.19.1 v0.9.19 v0.9.18.1 v0.9.18 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 stable latest
State
Any Active Build successful Build failed
Type
Any Normal Pull/merge request
Version latest / #23001634
Started 4 months, 2 weeks ago
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #23001633
Started 4 months, 2 weeks ago
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #22979991
Started 4 months, 3 weeks ago
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #22979990
Started 4 months, 3 weeks ago
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #19674424
Started 1 year, 2 months ago
80fa67e7
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #19674423
Started 1 year, 2 months ago
80fa67e7
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #18301183
Started 1 year, 7 months ago
28fa2d88
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #18301182
Started 1 year, 7 months ago
28fa2d88
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #17874499
Started 1 year, 9 months ago
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #17874498
Started 1 year, 9 months ago
8d9a4940
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #16674610
Started 2 years, 1 month ago
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #16674609
Started 2 years, 1 month ago
c99bc9e4
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #16674606
Started 2 years, 1 month ago
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #16674605
Started 2 years, 1 month ago
7b195652
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #16289126
Started 2 years, 2 months ago
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built