KnownNat-indexed vectors
Haskell Community [Unofficial]
May 13, 2026
Vectors aren’t negative-indexed. I could use Word but there’s no real performance decrease in using Natural, as far as I’m concerned.
Discussion in the ATmosphere