edwinb/Idris-dev — pull request #131 by ozgurakgun (2012-12-15 17:15:52+00:00)
Title: lines isn't words

A very small fix, fixing "lines".
I assume this something someone forgot to fix after a copy/paste from the definition of "words".