verify-hs, branch master Equational reasoning helper tool for Haskell-like expressions https://git.tomsmeding.com/verify-hs/atom?h=master 2020-05-23T12:46:11Z Add a readme 2020-05-23T12:46:11Z Tom Smeding tom.smeding@gmail.com 2020-05-23T12:46:11Z urn:sha1:286d0bb22ff08ee07e521a89c512f598ac9bc774 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 Support newer GHC 2020-05-22T20:10:29Z Tom Smeding tom.smeding@gmail.com 2020-05-22T20:10:29Z urn:sha1:8eb30e233b1f2627fcb4b1d59f6473efc19dfedd test.txt: Add apply and pure 2019-04-09T21:36:56Z Tom Smeding tom.smeding@gmail.com 2019-04-09T21:36:56Z urn:sha1:8a3653d8f30f7d0f79556f464ea781472a931b2e Organisation cleanup 2019-04-09T21:30:08Z Tom Smeding tom.smeding@gmail.com 2019-04-09T21:30:08Z urn:sha1:573967434a8b1cb14ee7de43ec11bd616cf568c6