edwinb/Idris-dev — pull request #120 by DanielWaterworth (2012-12-08 16:05:29+00:00)
Title: Trivial typo

I found this whilst I was extending my interpreter. Sorry that I missed it when I was adding the functionality.