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