Read the Docs

Log In

View Docs

The Idris Language

Overview
Downloads
Search
Builds
Versions

Completed March 23, 2015. 11:36 p.m.

Build took 53 seconds

Build #2479505

latest (7d76d93a024c4a5d2bf8dbb060e2b312f7b9602b)

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

Resources

Getting Started Guide
Team
Documentation
Going Ad-free
Site Support
Site Status

Company

Jobs
Advertise with Us
Read the Docs for Business
Branding & Media Kit
Privacy Policy
Terms of Service

© Copyright 2021, Read the Docs, Inc & contributors

Version 5.19.0

Amazon Web Services

Cloud Computing

CloudFlare

Sentry

Elastic

New Relic

PagerDuty