verify-hs/src/Haskell, branch master Equational reasoning helper tool for Haskell-like expressions https://git.tomsmeding.com/verify-hs/atom?h=master 2020-05-23T12:37:43Z Significantly improve rewrite correctness 2020-05-23T12:37:43Z Tom Smeding tom.smeding@gmail.com 2020-05-23T12:36:39Z urn:sha1:92d244786ee551ebba842567e07660efe478deab 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 rewall 2020-05-23T09:50:45Z Tom Smeding tom.smeding@gmail.com 2020-05-23T09:41:50Z urn:sha1:18ea7b6804e09b1ae604b7fb9eadd542677f172d Don't parse Constructors as variables 2020-05-23T09:40:06Z Tom Smeding tom.smeding@gmail.com 2020-05-23T09:40:06Z urn:sha1:243f4f5b58014159be0c4dd7b0fc5c0a8021fd3c Also case-reduce in a case-scrutinised expression 2020-05-23T09:38:35Z Tom Smeding tom.smeding@gmail.com 2020-05-23T09:38:35Z urn:sha1:f85f5515486504c9c3401332269a0dda20c96f1d Rewrite full lambda body in betared, don't skip binders 2020-05-23T09:38:01Z Tom Smeding tom.smeding@gmail.com 2020-05-23T09:38:01Z urn:sha1:c3a2389203e743c874bb464c9343a2f0aab3ae62 Fix parser ('try' and numbers) 2020-05-22T20:11:53Z Tom Smeding tom.smeding@gmail.com 2020-05-22T20:10:39Z urn:sha1:3f180e74d54ab447d3ef16ed5439e0abe8d1da97 Organisation cleanup 2019-04-09T21:30:08Z Tom Smeding tom.smeding@gmail.com 2019-04-09T21:30:08Z urn:sha1:573967434a8b1cb14ee7de43ec11bd616cf568c6 Fix parser (lambdas and quotes in names) 2019-04-09T21:28:58Z Tom Smeding tom.smeding@gmail.com 2019-04-09T21:28:58Z urn:sha1:b9494feebfabec0db65ee1b0e77cbd2d0d740470 Add rewall command 2019-04-08T20:57:10Z Tom Smeding tom.smeding@gmail.com 2019-04-08T20:57:10Z urn:sha1:8f742dc39085ebd15848ab32662239e8562a430c Add auto command 2019-04-08T20:25:40Z Tom Smeding tom.smeding@gmail.com 2019-04-08T20:25:40Z urn:sha1:57ac7ed93d048397b36e53d50db6d328e31bd2cc