turn lemma-fmap-just parameter into implicit
authorHelmut Grohne <helmut@subdivi.de>
Mon, 19 Nov 2012 15:34:33 +0000 (16:34 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 19 Nov 2012 15:34:33 +0000 (16:34 +0100)
commit352cb3b59e9bba15c3f899dbe5c3a5ef3dbc67ec
tree4dd356a01c73527257a212cb916579ed837a57ed
parent01a9a3c32bb130d77773e22fd29faccbde60334d
turn lemma-fmap-just parameter into implicit
Bidir.agda