robsimmons/agda-lib — pull request #1 by msullivan (2014-01-16 20:07:20+00:00)
Title: Add a coe2 function.

Add a coe2 function to Id. Also apparently deleted a bunch of trailing whitespace automatically.