Fix a bug in eqLemma
authorAnders <mortberg@chalmers.se>
Thu, 26 Mar 2015 16:41:13 +0000 (17:41 +0100)
committerAnders <mortberg@chalmers.se>
Thu, 26 Mar 2015 16:41:13 +0000 (17:41 +0100)
commit7cbfb1de076e49ef4f6032cf2bea0ea4e80be9da
tree12d43637bebac22583928a2d733aa9899e8bf0f3
parentecce1c71e9185d7b94e39adfc9838f9c9a808318
Fix a bug in eqLemma
Eval.hs
examples/circle.ctt