summaryrefslogtreecommitdiff
path: root/src/Data/INat.hs
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-05-14 10:23:06 +0200
committerTom Smeding <tom@tomsmeding.com>2024-05-14 10:23:06 +0200
commitc2fb07100ef8954ef51a5fabfe1b77cd40dd9b61 (patch)
treef58ebb1fb5e0128d7676d8067c8d86c967e83339 /src/Data/INat.hs
parent5cd4ed02db25a64ef879e1fa18431360a40de73b (diff)
Introduce EltRepr (no more Primitive/Coercible in API)
Diffstat (limited to 'src/Data/INat.hs')
0 files changed, 0 insertions, 0 deletions