Marimuthu Madasamy

Hi, Until we have native maven plugins for Idris, `exec-maven-plugin` is the only way. Regarding Idris 2, I was able to compile Idris 2 for the JVM and I've uploaded...

Thank you @nightscape and @edwinb . As for maintaining the JVM version, I would be happy to help there wherever possible.

Idris 2 compiler can now run on the JVM along with.a JVM backend. I am closing this issue if that is okay as still `exec-maven-plugin` is the only way to...

Thank you for your interest. It is not ready yet but exporting functions and classes would be in the initial PR (with field exports to follow) and they are very...

Hi, Those example programs require importing `System.FFI` module so the following code works. I will update the documentation to make it explicit. Thanks for pointing it out! ```idris module Main...

I've updated documentation with imports: https://idris-jvm.readthedocs.io/en/latest/ffi/calling-idris-from-java.html.

I've been thinking about this feature as well for Idris 2. Idris 1 JVM backend had [auto FFI bindings](https://github.com/mmhelloworld/idris-jvm/blob/release/1.0/idris-jvm-integration-test/src/test/idris/automaticffi-disabled/automaticffi.idr) using type providers. We can't use type providers anymore but we...

Thank you for your quick response! > Do you have an example of a typical Frege version of a Hoogle file? Are they in a tarball already, or available somewhere?...

> I suggest I just host the Frege version of Hoogle, likely as http://hoogle.haskell.org/frege yes, that would be perfect! The machine I am running on is only temporary anyway and...

Awesome! That was very fast! I was able to run Hoogle locally with `--frege` mode. Regarding linking to docs, I am working on it right now and I'll publish a...