Normalize formulas
authorAnders <mortberg@chalmers.se>
Thu, 23 Apr 2015 15:26:18 +0000 (17:26 +0200)
committerAnders <mortberg@chalmers.se>
Thu, 23 Apr 2015 15:26:18 +0000 (17:26 +0200)
commit53de597039d06c8b8f13dc8baaa9819173b8651c
tree4ed594572d6a6f72a571c9eee40125970201cc7a
parent27e825fa09715cfdb37a3f92b816d51415b70f21
Normalize formulas
Connections.hs
Eval.hs