diff options
author | stuebinm | 2021-10-30 15:23:29 +0200 |
---|---|---|
committer | stuebinm | 2021-10-30 15:44:26 +0200 |
commit | 1d2733c2b960e4ec61981a2cf2aadb77004b429d (patch) | |
tree | 5d967566168d0bf4501d1001a3d5bcd7a61aead6 /nix | |
parent | 69484ee8d2114150b81109067428110e9a18c475 (diff) |
turns out records are just sugar
(and one that contains almost only mempty can be written much shorter
than I thought it could)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions