actually fmap is what I meant instead of >>=
authorHelmut Grohne <helmut@subdivi.de>
Sun, 22 Jan 2012 22:11:19 +0000 (23:11 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 22 Jan 2012 22:11:19 +0000 (23:11 +0100)
commit6e3b0445d0c7a412f1dde5d9abf9e97b26e1cfe8
treed9a6a16bfaf9feab7c7ac4709e054cb95a63de61
parent8ad3dfdcba5a664850f3451d4b89634efcc3fd25
actually fmap is what I meant instead of >>=
Bidir.agda