Equality to isomorphism (wip)
authorSimon Huber <hubsim@gmail.com>
Thu, 4 Jun 2015 19:52:36 +0000 (21:52 +0200)
committerSimon Huber <hubsim@gmail.com>
Thu, 4 Jun 2015 19:52:36 +0000 (21:52 +0200)
commit86633c35d8ff2d53e6914005d0b331cf960daf73
tree1e96fe5d1bba8fc059ae573ec186e4ae64ca8eab
parenta1ee1930644ca12e2b21ee8e38fbb6ad5a11a04d
Equality to isomorphism (wip)
Eval.hs