we can also drop an implicit parameter from assoc-enough
authorHelmut Grohne <helmut@subdivi.de>
Mon, 19 Nov 2012 13:56:28 +0000 (14:56 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 19 Nov 2012 13:56:28 +0000 (14:56 +0100)
commit01a9a3c32bb130d77773e22fd29faccbde60334d
tree5b20f3cdbc32dec086c9cf9ec81789fd0e5c4801
parent2af4adb34bf68ab64227fc7189117540964559df
we can also drop an implicit parameter from assoc-enough
Precond.agda