idris-lang/Idris-dev — pull request #1097 by david-christiansen (2014-04-22 21:34:41+00:00)
Title: Correct opening brace in implicits in pprinter

Before:
Prelude.Basics.id : (a : Type} -> (__pi_arg : a) -> a

After:
Prelude.Basics.id : {a : Type} -> (__pi_arg : a) -> a

Fixes #1096