agda/agda-stdlib — pull request #44 by flickyfrans (2014-12-29 17:32:32+00:00)
Title: Added simplified inspect.

I added the simplified inspect to Relation.Binary.HeterogeneousEquality too.