aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Only rewrite _free_ variables in rewallTom Smeding2020-05-23
* Don't parse Constructors as variablesTom Smeding2020-05-23
* Also case-reduce in a case-scrutinised expressionTom Smeding2020-05-23
* Rewrite full lambda body in betared, don't skip bindersTom Smeding2020-05-23
* Fix parser ('try' and numbers)Tom Smeding2020-05-22
* Support newer GHCTom Smeding2020-05-22
* test.txt: Add apply and pureTom Smeding2019-04-09
* Organisation cleanupTom Smeding2019-04-09
* Fix parser (lambdas and quotes in names)Tom Smeding2019-04-09
* Add rewall commandTom Smeding2019-04-08
* Add auto commandTom Smeding2019-04-08
* Fix warnings in PrettyTom Smeding2019-04-08
* Slightly better pretty printingTom Smeding2019-03-19
* Add 'help'tomsmeding2019-03-10
* Remove 'forget'tomsmeding2019-03-10
* Remove old parsertomsmeding2019-03-10
* Repeat commands; add functor prooftomsmeding2019-03-10
* Enough to prove functoriality of Parsertomsmeding2019-03-10
* Initialtomsmeding2019-03-10
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-22 20:59:15 +0100