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
For version
v0.9.18
State
Any Active Build successful Build failed
Type
Any Normal Pull/merge request
Version v0.9.18 / #3628887
Started 8 years, 4 months ago
ad553427
v0.9.18
Version v0.9.18
Builds
For version v0.9.18
Tag
v0.9.18
Documentation
Active Built
Version v0.9.18 / #2842351
Started 8 years, 11 months ago
ad553427
v0.9.18
Version v0.9.18
Builds
For version v0.9.18
Tag
v0.9.18
Documentation
Active Built