Idris2
latest
A Crash Course in Idris 2
Frequently Asked Questions
Compiling to Executables
Changes since Idris 1
Type Driven Development with Idris: Updates Required
Packages
Where To Find Libraries
Structuring Idris 2 Applications
Foreign Function Interface
Theorem Proving
Implementation Notes
Idris2 Reference Guide
Cookbook
Parsing
Idris2
Cookbook
Edit on GitHub
Cookbook
The cookbook provides common recipes for common patterns and applications in Idris 2.
Parsing
Read the Docs
v: latest
Versions
latest
stable
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds