Read the Docs

Log In

View Docs

The Idris Language

Overview
Downloads
Search
Builds
Versions

Completed March 23, 2015. 9:06 a.m.

Build took 42 seconds

Build #2475587

latest (cea78700e26329a7a9b4d1b91ad1d78718c3150a)

Finished

Build completed Build failed

Error

Command time: 0s Return:

Stay Updated

Blog

Sign up for our newsletter to get our latest blog updates delivered to your inbox weekly.

Email

Get Involved

Getting Started Guide
Documentation
Contributing
Team
Open Source Philosophy

Business Info

Advertise with Us
Read the Docs for Business
Supporters
Privacy Policy
Terms of Service
Branding

© Copyright 2021, Read the Docs, Inc & contributors

Version 5.8.5

Microsoft Azure

Microsoft Azure

Cloud Computing

CloudFlare

Sentry

Elastic

New Relic

PagerDuty