edwinb/Idris-dev — pull request #308 by JanBessai (2013-05-09 20:37:56+00:00)
Title: Unified int primitives fix

Not all tests pass in C and Java!