idris-lang/Idris-dev — pull request #1094 by david-christiansen (2014-04-21 09:26:07+00:00)
Title: Docstrings for internal types + test portability fix

To make the tests pass locally, it was necessary to improve test portability.

Now, internal types like (=) and pairs and the like have docstrings. There have also been a few improvements to the display of docstrings.