diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-05-16 11:20:09 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-05-16 11:20:09 +0200 |
| commit | 8890526cac9e6c4d5583d00fce55f32ba613cf31 (patch) | |
| tree | 9f383e89ccfadf0cc4a9157a5aa2e3e08b07db3e /src/Data/Array/Mixed/Lemmas.hs | |
| parent | 0363f89b0681438a3059754a2b5fa2002123d4d1 (diff) | |
Remove the KnownNat constraint from (:5509)
Diffstat (limited to 'src/Data/Array/Mixed/Lemmas.hs')
0 files changed, 0 insertions, 0 deletions