idris-lang/Idris-dev — pull request #1326 by CodeBlock (2014-06-23 00:30:12+00:00)
Title: fix spelling of "parenthesise"

Because it was going to irk me. :)

Signed-off-by: Ricky Elrod