idris-lang/Idris-dev — pull request #865 by david-christiansen (2014-02-07 15:33:08+00:00)
Title: Proper pretty-printing of dependent pairs

* Dependent pairs are properly highlighted as either constructors or
types
* Names bound in dependent pair types show up as bound in their scope

Fixes #855.