introduce >>= on Maybe to improve readability
authorHelmut Grohne <helmut@subdivi.de>
Sun, 22 Jan 2012 21:59:17 +0000 (22:59 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 22 Jan 2012 21:59:17 +0000 (22:59 +0100)
commit8ad3dfdcba5a664850f3451d4b89634efcc3fd25
tree0a3ffe5f2860d3de4b14fdf6d3bb472d620f36df
parent7b1b49cf6085172526b93e3b652c74ba091d7070
introduce >>= on Maybe to improve readability
Bidir.agda