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

	Commit message (Collapse)	Author	Age
*	Only rewrite _free_ variables in rewall	Tom Smeding	2020-05-23
\|
*	Organisation cleanup	Tom Smeding	2019-04-09
\|
*	Add rewall command	Tom Smeding	2019-04-08
\|
*	Add auto command	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