vector-static
Haskell
★ 2
updated 16y ago
Statically checked vectors (a mostly failed experiment in representing vector lengths statically to avoid runtime checks, but was inspiration for great things to come ;))
No plain-English explanation yet — one is being written right now. Check back in a minute.