diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-04-13 12:36:49 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-04-13 12:37:46 +0200 |
| commit | d5e02224b16b9d616e5193e0b9c48865b2415699 (patch) | |
| tree | 95fd19ba185fc4bb2a3934c3f2b5332f2eb35432 /src/Data/Array/Nested/Lemmas.hs | |
| parent | 36a89c7a26d73b0583ac765d29dadb1b918007f6 (diff) | |
Remove spurious comment
The reason these via-instances work is because e.g. `Mixed sh Double`
and `Mixed sh (Primitive Double)` are both newtypes around
`XArray sh Double`, so they are indeed Coercible without any need for
special roles in orthotope.
Diffstat (limited to 'src/Data/Array/Nested/Lemmas.hs')
0 files changed, 0 insertions, 0 deletions