refactor to get rid of FinMap without Maybe entirely
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 17 Dec 2013 07:49:24 +0000 (08:49 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 17 Dec 2013 07:49:24 +0000 (08:49 +0100)
commit88ac52ceabaf2bf4a3f27293a8e04a3daaf8b907
tree434e67b2e485bee51268cedef1b417424466f958
parent066861f9cdde4ded6c5442508bef1a27576c68d7
refactor to get rid of FinMap without Maybe entirely

The union was the only user of this type and now it uses only partial
mappings. So drop remaining uses of FinMap and make everything work with
FinMapMaybe instead.
BFF.agda
Bidir.agda
FinMap.agda
Precond.agda