aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* 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