Dependently-typed vectors in purescript
Why do you think that https://github.com/illacceptanything/illacceptanything is a good alternative to purescript-vec-dt
Dependently-typed vectors in purescript
Why do you think that https://github.com/illacceptanything/illacceptanything is a good alternative to purescript-vec-dt