edwinb/Idris-dev — pull request #240 by JanBessai (2013-03-17 16:46:56+00:00)
Title: FFI Dependencies in Java: Automatic inclusion and resolution + download via maven

See [javaffi](https://github.com/JanBessai/Idris-dev/blob/0861527e14a8e9c26bcf1cf5ea884a93f66025e0/samples/javaffi.idr) for an example how to use it.