aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Nat.hs
diff options
context:
space:
mode:
authorMikolaj Konarski <mikolaj.konarski@gmail.com>2024-04-29 17:35:54 +0200
committerMikolaj Konarski <mikolaj.konarski@gmail.com>2024-04-29 17:35:54 +0200
commit1f81568269189c863772369bb62a7598735ee684 (patch)
tree083f88281051fc52056906f697cff653bd7833e3 /src/Data/Nat.hs
parentd9a1b896875153cc3ee8fefc3dba7de1f6122d45 (diff)
Make also the sized shaped lists strict due to impurity in horde-adexperiment-with-KnownShape
Diffstat (limited to 'src/Data/Nat.hs')
0 files changed, 0 insertions, 0 deletions