Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |