idris-lang/idris-tutorial — pull request #32 by lmarburger (2014-06-06 16:23:39+00:00)
Title: Fix typo of variable name

Minor typo in the default implementation of `Eq.(==)`.