edwinb/Idris-dev — pull request #41 by mekeor (2012-08-13 11:29:05+00:00)
Title: just tiny fixes

this pull request fixes

* a really really tiny typo
* some silliness in the Makefile of the impl-paper