1.0-SNAPSHOT-20180207.beta for Idris 1.2.0

• Automatic FFI with null safety, exception safety
• Optimize Maybe: compile to null and the actual value instead of wrapping
• Exception handling with try, catch functions

1.0-SNAPSHOT-20180205.beta for Idris 1.2.0

• Automatic FFI with null safety, exception safety
• Optimize Maybe: compile to null and the actual value instead of wrapping
• Exception handling with try, catch functions

1.0-SNAPSHOT-20180114 for Idris 1.2.0

• Initial support for automatically generating FFI using type provider and elaborator reflection
• support Idris 1.2.0

Idris JVM 1.0-SNAPSHOT-20170917 for Idris 1.1.1

Changes

• ISSUE-43 Support Idris functions as Java lambdas in FFI

Idris JVM 1.0-SNAPSHOT-20170913 for Idris 1.1.1

Changes

• FFI: Array support
• Upgrade to Idris 1.1.1

Idris JVM 1.0-SNAPSHOT-20170704 for Idris 1.0

Changes

Fix windows launcher

Idris JVM 1.0-SNAPSHOT-20170704.beta

Changes

• Fix windows launcher

Idris JVM 1.0-SNAPSHOT-20170702

Changes

• Avoid boxing for Idris constructor ids

Idris JVM 1.0-SNAPSHOT-20170702.beta

Changes

• Avoid boxing for Idris constructor ids

Idris JVM backend 1.0-beta.SNAPSHOT-20170701

Changes:

• Optimize invokedynamic calls