Idris2
0.0
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
View page source
Cookbook
The cookbook provides common recipes for common patterns and applications in Idris 2.
Parsing