david-christiansen/Idris-dev — pull request #2 by david-christiansen (2014-02-04 10:26:46+00:00)
Title: Temp sem pprint

test for travis