Fixed eqToEquiv
authorSimon Huber <hubsim@gmail.com>
Thu, 17 Dec 2015 08:51:52 +0000 (09:51 +0100)
committerSimon Huber <hubsim@gmail.com>
Thu, 17 Dec 2015 08:51:52 +0000 (09:51 +0100)
commitdc304dde7ceed5a65aa75999be2b1f53837a0743
treed8660cd22c66ae250e59348c7f193081213e7f28
parentba3406ae07c360ece6409b56e72f2f03eaac49ec
Fixed eqToEquiv
Eval.hs