copumpkin/vector-static

Statically checked vectors (a mostly failed experiment in representing vector lengths statically to avoid runtime checks, but was inspiration for great things to come ;))

语言：Haskell · GitHub 星标：2 · Fork：1

在 GitHub 上查看原仓库