idris-lang/Idris-dev — pull request #1166 by paulkoerbitz (2014-05-02 00:46:35+00:00)
Title: Fix/1158 consistify typeclass parameter names in doc

Fixes the inconsistent parameter in typeclass docs (#1158)