| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | change badge output format | stuebinm | 2021-12-18 | 1 | -7/+4 |
| | | | | | (following a discussion with hxchn) | ||||
| * | fixed & removed a bunch of old TODOs | stuebinm | 2021-12-16 | 1 | -5/+5 |
| | | |||||
| * | we don't support ellipses | stuebinm | 2021-12-16 | 1 | -4/+1 |
| | | |||||
| * | lots of code reorganising and some deduplication | stuebinm | 2021-12-04 | 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. | ||||
| * | collect badges from object layers | stuebinm | 2021-12-02 | 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. | |||||
