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 / #2726036
Started 9 years ago
23b36dab
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2726020
Started 9 years ago
4317b84f
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2725553
Started 9 years ago
75ab1559
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2723722
Started 9 years ago
5e239ba6
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2723605
Started 9 years ago
5e239ba6
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2721824
Started 9 years ago
501372f0
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2715812
Started 9 years ago
375c9863
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2712189
Started 9 years ago
a1298234
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2708176
Started 9 years ago
012be4aa
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2707891
Started 9 years ago
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2702238
Started 9 years ago
ab333a7b
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2702106
Started 9 years ago
4fda5e89
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2697648
Started 9 years ago
f0bf615e
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2695215
Started 9 years, 1 month ago
e2915e78
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built
Version latest / #2694864
Started 9 years, 1 month ago
4c1a68df
latest
Version latest
Builds
For version latest
Branch
latest
Documentation
Active Built