diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-04-21 15:45:47 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-04-21 15:45:47 +0200 |
| commit | 3a82a91be0f1b18f071cdb35526b2b2d0b8e093f (patch) | |
| tree | 6a65376a17ef4051446952541bab57149c66fca7 /src/Data/INat.hs | |
| parent | 181c02b60445310105be126fd6cc2ee9f5dc2c8a (diff) | |
Make index types useful for horde-ad by parameterising Int
Diffstat (limited to 'src/Data/INat.hs')
0 files changed, 0 insertions, 0 deletions