idris-java

idris-java copied to clipboard

The current version of anonymous class definition wraps the function call in a call to `Closure.run()` which has a return type of `void` thus not allowing any return value from...

aaronc

Maintainer?

2

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...

aaronc

How feasible would it be to use this as an Android backend?

4

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?

whitehead1415

Installation instructions are needed

8

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...

zraffer

Updated the usage with a hint for humans.

melted