diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-14 10:23:06 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-14 10:23:06 +0200 |
| commit | c2fb07100ef8954ef51a5fabfe1b77cd40dd9b61 (patch) | |
| tree | f58ebb1fb5e0128d7676d8067c8d86c967e83339 /src/Data/INat.hs | |
| parent | 5cd4ed02db25a64ef879e1fa18431360a40de73b (diff) | |
Introduce EltRepr (no more Primitive/Coercible in API)
Diffstat (limited to 'src/Data/INat.hs')
0 files changed, 0 insertions, 0 deletions