]> git.unchartedbackwaters.co.uk Git - francis/lta.git/commit
Avoid introducing a sum when negating a product.
authorFrancis Russell <francis@unchartedbackwaters.co.uk>
Sun, 14 Apr 2013 10:47:06 +0000 (11:47 +0100)
committerFrancis Russell <francis@unchartedbackwaters.co.uk>
Sun, 14 Apr 2013 10:47:06 +0000 (11:47 +0100)
commite1cd8b47d6fae136124780167bbddd4ac8f1e2c1
treed77f83033fa03de09aca45e22c494f427abca6ee
parent018bce624405fb81c2c3f305f77dfe87b2e1c67e
Avoid introducing a sum when negating a product.
LTA/Symbolic.hs