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. |