Read the Docs

Log In

View Docs

The Idris Language

Overview
Downloads
Search
Builds
Versions

Completed July 19, 2015. 7:15 p.m.

Build took 46 seconds

Build #3105521

latest (00cffbd7fccdb608d217e0c02b54fa540a47286f)

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
Contributing
Team
Documentation
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.14.0

Amazon Web Services

Cloud Computing

CloudFlare

Sentry

Elastic

New Relic

PagerDuty