edwinb/Idris-dev — pull request #313 by hannesm (2013-05-12 09:25:30+00:00)
Title: Cleanups

only some minor cleanups