Codegen

Idris has been designed such that the compiler can generate code for different backends upon request. By default Idris generates a C backend when generating an executable. Below we describe how you can use the different supported backends when compiling your Idris code.

Java

idris hello.idr --codegen java -o hello.jar

Note: The resulting .jar is automatically prefixed by a header including an .sh script to allow executing it directly.

llvm

Javascript

Node.js