Idris2
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
Index
Index