edwinb/Idris-dev — pull request #28 by MekeorMelire (2012-05-16 17:05:45+00:00)
Title: Mistake in tutorial

newsham from IRC spotted a mistake in the tutorial.