diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-06-30 10:53:42 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-06-30 10:53:42 +0200 |
| commit | 558a3db2173e34f4d96534b49dab1a51703f6c62 (patch) | |
| tree | 85eedf1f8ec626401fcd45b85c126484c73bec83 /README.md | |
| parent | 362858202e880e8787127bc4a29bfbfeed822c58 (diff) | |
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -61,7 +61,7 @@ Below the surface layer, there is a more low-level wrapper (`XArray`) around Here is a little taster of the API, to get a sense for the design: ```haskell -import GHC.TypeLits (Nat) +import GHC.TypeLits (Nat, SNat) data Ranked (n :: Nat) a {- e.g. -} Ranked 3 Float data Shaped (sh :: '[Nat]) a {- e.g. -} Shaped [2,3,4] Float |