Fix conversion of formulas
authorAnders <mortberg@chalmers.se>
Fri, 27 Mar 2015 16:52:26 +0000 (17:52 +0100)
committerAnders <mortberg@chalmers.se>
Fri, 27 Mar 2015 16:52:26 +0000 (17:52 +0100)
commit665712a06e00f1e5b45aadc5224cf8a875c15179
tree2a50bd836624bc7e0aeac9e90f347901e98b56ea
parent948dd41e6f626f2a3f4169a2238264a05488870a
Fix conversion of formulas
Connections.hs
Eval.hs