diff options
author | stuebinm | 2022-02-17 00:41:36 +0100 |
---|---|---|
committer | stuebinm | 2022-02-17 00:41:36 +0100 |
commit | faa244e1a7e760be88054a5f15b3e115ad8e32e5 (patch) | |
tree | 34cec7b74b49284f446aaf3073a551306d8ca5be /lib/Properties.hs | |
parent | 487e06bf875ba8a835399b26095c756899b1209f (diff) |
sprinkle some NFData everywhere
(also some evaluateNF, leading to slightly less memory usage)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions