split FinMap to FinMapMaybe
[~helmut/bidiragda.git] / Bidir.agda
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