Idris JVM
Idris JVM Documentation
Overview
Install
Hello World - Compile and Run
Tail Call Optimization
Overview
Self tail recursion
Mutual tail recursion
Self and Mutually Tail Recursive Functions
Interoperability
Overview
Calling Java from Idris
Calling Idris from Java
Idris JVM
Index
Index