| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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-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 |
 |
index : verify-hs | |
| Equational reasoning helper tool for Haskell-like expressions | git daemon user |
| aboutsummaryrefslogtreecommitdiff |