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

	Commit message (Collapse)	Author	Age
*	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