Release 0.2.1 - System, Network modules for JVM, bug fixes, maven build

Features

• Support system functions (getArgs, getenv, setenv, system, time, sleep etc.)
• Conversion between Idris list and Java collections
• Support network primitives
• Implement fork with Java Thread
• Fix String to Integer conversion
• Fix switch expression type
• Allow custom Idris 2 boot home directory, integrate idris build into maven

Release 0.2.0 - Idris 2 Bootstrap Compiler with JVM Backend

Install

• Extract the attached zip with this release
• Add idris2-boot-jvm/bin from extracted directory to PATH. Try it out by running idris2 on the terminal.

Features

• Add JVM backend
• Eliminate tail recursion using JVM's GOTO
• Trampoline non-self tail calls
• Static and instance Java FFI method calls.
• Support file, directory, array, IORef and buffer primitives.
• Analyse function dependencies to generate bytecode for only used functions from main
• Limited type inference on Idris IR to avoid boxing and typecasting in the generated bytecode
• Debug information (Idris source file and line numbers) in the bytecode

Initial release

• Compile Idris 2 for the JVM