Simpler version of gradlemmaU
authorAnders Mörtberg <andersmortberg@gmail.com>
Fri, 4 Dec 2015 19:51:03 +0000 (14:51 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Fri, 4 Dec 2015 19:51:03 +0000 (14:51 -0500)
commitac6485bcfba2a22db62807c37727833a0a01954f
tree8f811373fdf751fdf018be962c093d473c273ec0
parentdede63ab616d9111357776b3dca9f1e148945cb7
Simpler version of gradlemmaU
Eval.hs