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

Branch	Commit message	Author	Age
master	Add a readme	Tom Smeding	5 years
types	Start working on a type checker	Tom Smeding	6 years


Age	Commit message	Author
2020-05-23	Add a readmeHEAD master	Tom Smeding
2020-05-23	Significantly improve rewrite correctness	Tom Smeding
2020-05-23	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-22	Fix parser ('try' and numbers)	Tom Smeding
2020-05-22	Support newer GHC	Tom Smeding
2019-04-09	test.txt: Add apply and pure	Tom Smeding
2019-04-09	Organisation cleanup	Tom Smeding
[...]