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