actually fmap is what I meant instead of >>=
[~helmut/bidiragda.git] / Bidir.agda
2012-01-22 Helmut Grohneactually fmap is what I meant instead of >>=
2012-01-22 Helmut Grohneintroduce >>= on Maybe to improve readability
2012-01-22 Helmut Grohneimprove readability by introducing EqInst
2012-01-22 Helmut Grohneformulate theorem-1
2012-01-22 Helmut Grohneformulate lemma-2
2012-01-22 Helmut Grohneattempt to prove lemma-1
2012-01-21 Helmut Grohnerewrite generate using zip and fromAscList
2012-01-21 Helmut Grohnesplit FinMap to FinMapMaybe
2012-01-19 Helmut Grohnereplaced NatMap with FinMap
2012-01-19 Helmut Grohnefirst attempt to define bff (with holes)
2012-01-19 Helmut Grohneemploy standard library of agda where possible
2012-01-19 Helmut Grohnefirst attempt to model lemma-1