| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2021-12-18 | change badge output format | stuebinm | 1 | -7/+4 | |
| (following a discussion with hxchn) | |||||
| 2021-12-16 | fixed & removed a bunch of old TODOs | stuebinm | 1 | -5/+5 | |
| 2021-12-16 | we don't support ellipses | stuebinm | 1 | -4/+1 | |
| 2021-12-04 | lots of code reorganising and some deduplication | stuebinm | 1 | -4/+4 | |
| it was kinda getting messy in places. Also found some accidental isomorphisms between types, so these are now only one type because the consequences were getting silly. | |||||
| 2021-12-02 | collect badges from object layers | stuebinm | 1 | -0/+70 | |
| this includes a halfway-reasonable parsing of object layers, as well as some monad plumbing to get them all in the right place. | |||||
