idris-hackers / idris-java Goto Github PK

Question: Would it not be better to call the package java? As we are already in Idris, the Idris in the IdrisJava namespace seems a little redundant.

If I have time I shall make the alterations myself and issue a PR, but thought it worth a mention in case anybody agrees and wishes to contribute a PR. Also I have no idea how this would affect upstream dev..

Is there a maintainer for this project? @bgaster are you still working on this? If not, I'm willing to take over the maintainer role for now as I'm actively working with this backend and improving as I go along: https://github.com/aaronc/idris-java

Can this backend be used to create a simple hello world Android App?

If not then what would need to be done to make that work?

Currently there are no explanation how to attach this backend to Idris (neither in README nor in the wiki).
I'd like to try it, but have no clue how to do it.
Should I compile it before Idris? Or after Idris? Should I use any flags for compiling?

Thank you in advance.