idris-hackers/idris-koans — pull request #2 by silky (2014-05-02 11:17:20+00:00)
Title: Equality Koan wasn't using correct operator.

The "equalityNeq" Koan should probably have had "/=" as the operator, not
"==".