import _>>=_ and fmap from Data.Maybe
authorHelmut Grohne <helmut@subdivi.de>
Sun, 21 Jul 2013 18:46:18 +0000 (20:46 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 21 Jul 2013 18:46:18 +0000 (20:46 +0200)
commitffbdebbced2cbd32f7e121f19c1c0360be2053b8
treed05940e7f0d483c36e5e07ffee49d4054a23b193
parentdd95d0924df51daeac7176d4010a30d34bae2b02
import _>>=_ and fmap from Data.Maybe

Also rename fmap to _<$>_ to match Agda naming conventions. The imported
_>>=_ appears to have different binding, so some braces were necessary.
BFF.agda
Bidir.agda
Precond.agda