idris-lang/Idris-dev — pull request #1165 by paulkoerbitz (2014-05-01 22:47:47+00:00)
Title: Fix/1154 populate docstrings of typeclass parameters

This fixes issue #1154: docstrings for parameters on type classes didn't make it into IState.

@edwinb / @david-christiansen / @raichoo : Can one of you take a look if the expandParamsD and IBC changes look sane?