idris-lang/Idris-dev — pull request #1117 by pminten (2014-04-27 16:37:24+00:00)
Title: Fix unmatching braces in pretty printed types

The left brace of an implicit argument was a parenthesis:

```
Idris> :doc range
Prelude.Vect.range : (n : Prelude.Nat.Nat} -> Prelude.Vect.Vect n (Prelude.Fin.Fin n)
```