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

Sorry for #131, I couldn't find an easy way to update the pull request. My github-fu is very limited.