Idris2
stable
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
Idris2
Search
Please activate JavaScript to enable the search functionality.
Read the Docs
v: stable
Versions
latest
stable
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds