edwinb/Idris-dev — pull request #278 by hannesm (2013-04-13 10:59:16+00:00)
Title: re-insert {b = b} to make idris happy (./Decidable/Equality.idr:80:No su...

...ch variable b)