get rid of contraposition
authorHelmut Grohne <helmut@subdivi.de>
Mon, 10 Dec 2012 10:48:15 +0000 (11:48 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 10 Dec 2012 10:48:15 +0000 (11:48 +0100)
commit1625dfe1e5ee62ffef1884a38ba4599b9c5510e4
tree9a39a8725548f03e7d6cb2b9626b5fd7432b9318
parentb623a3e175a96b9732446a312080fa564ae80f71
get rid of contraposition

Using function composition in all other places already.
FinMap.agda