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

	Commit message (Collapse)	Author	Age
*	test.txt: Add apply and pure	Tom Smeding	2019-04-09
\|
*	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