verify-hs - Equational reasoning helper tool for Haskell-like expressions

	Commit message (Collapse)	Author	Age
*	Significantly improve rewrite correctness	Tom Smeding	2020-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 rewall	Tom Smeding	2020-05-23
\|
*	Don't parse Constructors as variables	Tom Smeding	2020-05-23
\|
*	Also case-reduce in a case-scrutinised expression	Tom Smeding	2020-05-23
\|
*	Rewrite full lambda body in betared, don't skip binders	Tom Smeding	2020-05-23
\|
*	Fix parser ('try' and numbers)	Tom Smeding	2020-05-22
\|
*	Organisation cleanup	Tom Smeding	2019-04-09
\|
*	Fix parser (lambdas and quotes in names)	Tom Smeding	2019-04-09
\|
*	Add rewall command	Tom Smeding	2019-04-08
\|
*	Add auto command	Tom Smeding	2019-04-08
\|
*	Fix warnings in Pretty	Tom Smeding	2019-04-08
\|
*	Slightly better pretty printing	Tom Smeding	2019-03-19
\|
*	Add 'help'	tomsmeding	2019-03-10
\|
*	Remove 'forget'	tomsmeding	2019-03-10
\|
*	Remove old parser	tomsmeding	2019-03-10
\|
*	Repeat commands; add functor proof	tomsmeding	2019-03-10
\|
*	Enough to prove functoriality of Parser	tomsmeding	2019-03-10
\|
*	Initial	tomsmeding	2019-03-10