diff options
| author | stuebinm | 2021-12-04 04:33:01 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-04 04:34:11 +0100 |
| commit | 6cfdefc3438100ea829b1c86e790a0f2d56ec503 (patch) | |
| tree | 04a190c2ddddcfa317bb5fda326f8e6fcaaa7eff /src | |
| parent | c61f8b2ac2ecf5ff96401e1a913d41a6d5a4a343 (diff) | |
lots of code reorganising and some deduplication
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.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions