aboutsummaryrefslogtreecommitdiff
path: root/src/Haskell/AST.hs
Commit message (Collapse)AuthorAge
* Significantly improve rewrite correctnessTom Smeding2020-05-23
| | | | | | | | It's still not entirely correct, though. Case in point: conservative rewriting on 'expr' in 'reverse-ad.txt' gives the correct result (a non-zero partial derivative on both A and B), while iterating 'rewall; auto' only yields a partial derivative on A, ignoring B. I don't know how this happens.
* Only rewrite _free_ variables in rewallTom Smeding2020-05-23
|
* Don't parse Constructors as variablesTom Smeding2020-05-23
|
* Add rewall commandTom Smeding2019-04-08
|
* Slightly better pretty printingTom Smeding2019-03-19
|
* Enough to prove functoriality of Parsertomsmeding2019-03-10
|
* Initialtomsmeding2019-03-10