]>
git.unchartedbackwaters.co.uk Git - francis/lta.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Francis Russell [Fri, 12 Apr 2013 15:59:34 +0000 (16:59 +0100)]
Make extractMultiplier handle single-term Sum.
Francis Russell [Fri, 12 Apr 2013 15:40:20 +0000 (16:40 +0100)]
Add Fractional instance for Expr.
Francis Russell [Fri, 12 Apr 2013 15:39:53 +0000 (16:39 +0100)]
Add negate implementation for Literal and Expr.
Francis Russell [Mon, 8 Apr 2013 19:40:57 +0000 (20:40 +0100)]
Initial work on symbolic representation based on Excafé.
projects / francis / lta.git / log