aboutsummaryrefslogtreecommitdiff
path: root/src/Main.hs
Commit message (Expand)AuthorAge
* 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