idris-lang/Idris-dev — pull request #594 by JanBessai (2013-11-06 04:30:52+00:00)
Title: Null ptr

Null Ptr primitive for the Java back end and some test improvements.