Generalize pure to any size of vector

bodil / purescript-sized-vectors

Idris style sized vectors in PureScript

18 stars 12 forks source link

Closed LiamGoodacre closed 7 years ago

LiamGoodacre commented 7 years ago

The applicative instance for vectors of any size can be very useful.

bodil commented 7 years ago

👍