idris-lang/Idris-dev — pull request #1294 by JanBessai (2014-06-07 21:34:44+00:00)
Title: Java back-end fixes

* All tests working
* Buffers implemented