Read the Docs

  • Log In
View Docs

The Idris Language

  • Overview
  • Downloads
  • Search
  • Builds
  • Versions

Downloads

  • latest PDF
  • latest HTMLZip
  • latest Epub
  • stable PDF
  • stable HTMLZip
  • stable Epub
  • v1.3.4 PDF
  • v1.3.4 HTMLZip
  • v1.3.4 Epub
  • v1.3.3 PDF
  • v1.3.3 HTMLZip
  • v1.3.3 Epub
  • v1.3.2 HTMLZip
  • v1.3.2 Epub
  • v1.3.1 PDF
  • v1.3.1 HTMLZip
  • v1.3.1 Epub
  • v1.3.0 PDF
  • v1.3.0 HTMLZip
  • v1.3.0 Epub
  • v1.2.0 PDF
  • v1.2.0 HTMLZip
  • v1.2.0 Epub
  • v1.1.1 PDF
  • v1.1.1 HTMLZip
  • v1.1.1 Epub
  • v1.1.0 PDF
  • v1.1.0 HTMLZip
  • v1.1.0 Epub
  • v1.0.1 PDF
  • v1.0.1 HTMLZip
  • v1.0.1 Epub
  • v1.0 PDF
  • v1.0 HTMLZip
  • v1.0 Epub
  • v0.99.2 PDF
  • v0.99.2 HTMLZip
  • v0.99.2 Epub
  • v0.99.1 PDF
  • v0.99.1 HTMLZip
  • v0.99.1 Epub
  • v0.99 PDF
  • v0.99 HTMLZip
  • v0.99 Epub
  • v0.12.3 PDF
  • v0.12.3 HTMLZip
  • v0.12.3 Epub
  • v0.12.2 PDF
  • v0.12.2 HTMLZip
  • v0.12.2 Epub
  • v0.12.1 PDF
  • v0.12.1 HTMLZip
  • v0.12.1 Epub
  • v0.12 PDF
  • v0.12 HTMLZip
  • v0.12 Epub
  • v0.11.2 PDF
  • v0.11.2 HTMLZip
  • v0.11.2 Epub
  • v0.11.1 PDF
  • v0.11.1 HTMLZip
  • v0.11.1 Epub
  • v0.11 PDF
  • v0.11 HTMLZip
  • v0.11 Epub
  • v0.10.3 PDF
  • v0.10.3 HTMLZip
  • v0.10.3 Epub
  • v0.10.2 PDF
  • v0.10.2 HTMLZip
  • v0.10.2 Epub
  • v0.10.1 PDF
  • v0.10.1 HTMLZip
  • v0.10.1 Epub
  • v0.10 PDF
  • v0.10 HTMLZip
  • v0.10 Epub
  • v0.9.20.2 PDF
  • v0.9.20.2 HTMLZip
  • v0.9.20.2 Epub
  • v0.9.20.1 PDF
  • v0.9.20.1 HTMLZip
  • v0.9.20.1 Epub
  • v0.9.20 PDF
  • v0.9.20 HTMLZip
  • v0.9.20 Epub
  • v0.9.19.1 PDF
  • v0.9.19.1 HTMLZip
  • v0.9.19.1 Epub
  • v0.9.19 PDF
  • v0.9.19 HTMLZip
  • v0.9.19 Epub
  • v0.9.18.1 PDF
  • v0.9.18.1 HTMLZip
  • v0.9.18.1 Epub
  • v0.9.18 PDF
  • v0.9.18 HTMLZip
  • v0.9.18 Epub

Stay Updated

  • Blog

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

Thank you!

You have successfully joined our subscriber list.

.

Resources

  • Tutorial
  • 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 2022, Read the Docs, Inc & contributors

Version 8.1.0

Amazon Web Services
AWS
Cloud Computing
CloudFlare
Cloudflare
DNS & SSL
Sentry
Sentry
Monitoring
Elastic
Elastic
Search
New Relic
New Relic
Performance
PagerDuty
PagerDuty
Monitoring