diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-21 13:03:51 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-21 13:03:51 +0100 |
| commit | b1253991b2db0810bc892dd60fcbce1d5f4dda63 (patch) | |
| tree | be0986480c24b1f8cba69e98ccba23f75e1522fd /src/Data/Nat.hs | |
| parent | 7db9c026a0765593dd05ec3895212bc187460449 (diff) | |
Mute the pattern-namespace-specifier warning until it can be fixedrepro-lint-profile
Diffstat (limited to 'src/Data/Nat.hs')
0 files changed, 0 insertions, 0 deletions