Apply Gabor Lehel's suggestions.
authorRichard Eisenberg <eir@cis.upenn.edu>
Tue, 22 Oct 2013 15:32:33 +0000 (11:32 -0400)
committerRichard Eisenberg <eir@seas.upenn.edu>
Mon, 28 Oct 2013 17:15:20 +0000 (13:15 -0400)
commit034558f360beeceabb1cf4346cca5fcc23986079
treed8516db9e9cc44206001400435ed65f4b9cff2a9
parentfd86260a585f2cf69ca4e6fbc9bf03206f9b4f70
Apply Gabor Lehel's suggestions.
Data/Type/Coercion.hs
Data/Type/Equality.hs