Marimuthu Madasamy

Update to latest Idris2

Export Idris functions for Java

2

Export Idris functions so that they can be called from Java and other JVM languages.

When an Idris function is passed to Java as a lambda and the function doesn't capture any variables, instead of closing over the Idris function, we could move the function...

Upgrade to Idris2 0.7.0

Hoogle for Frege

19

Hi, First of all, thank you for making Hoogle. It is a wonderful tool and I am now trying to make it useful for [Frege](https://github.com/Frege/frege). I already have a working...

Hi, First of all, thank you for making codec-jvm. I was looking through the code to understand it and then to use it in my [idris-jvm](https://github.com/mmhelloworld/idris-jvm) project. It looks like...

Currently cases are compiled to JVM's `lookupswitch` or `tableswitch`. This can be optimized further by compiling cases up to three levels with `if-else if`.

Currently Idris JVM compiles to Java 8 bytecode. It has been more than a decade since Java 8 released and there have been a lot of improvements since then with...