Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2022-02-18 | switch to universum prelude | stuebinm | 1 | -3/+2 | |
also don't keep adjusted maps around if not necessary | |||||
2022-02-17 | sprinkle some NFData everywhere | stuebinm | 1 | -7/+10 | |
(also some evaluateNF, leading to slightly less memory usage) | |||||
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. |