diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-14 21:22:20 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-14 21:22:22 +0100 |
| commit | 6e841f3e7d19253db65874d87e2277c050dad984 (patch) | |
| tree | b7e988b6373865f825a3d1288618287e7877b6ba /ops/Data/Array/Strided/Arith/Internal.hs | |
| parent | b0cc8caff4ccf5df85f3bea743be1f03ddde01c6 (diff) | |
Make ShS a newtype over ShX
TODO: use lemmas in place of the unsafeCoerceRefl
Diffstat (limited to 'ops/Data/Array/Strided/Arith/Internal.hs')
0 files changed, 0 insertions, 0 deletions