diff options
| author | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2024-04-22 16:30:51 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2024-04-22 16:30:51 +0200 |
| commit | da0f6fa4515dbb2c4b794e6418fd0633415af17d (patch) | |
| tree | cb73d31ded198e51f32af884449d5be604303bbd /src/Data/INat.hs | |
| parent | 7156d267a25b01ccc615fcd0a197a5079e5acf3f (diff) | |
Add role annotations for sized lists
Diffstat (limited to 'src/Data/INat.hs')
0 files changed, 0 insertions, 0 deletions