search

bodil / purescript-sized-vectors

Idris style sized vectors in PureScript
18 stars 12 forks source link

Additional functions #12

Closed csicar closed 6 years ago

csicar commented 6 years ago

I am creating a sized-matrix library and used these functions for creating it. I think they could also be useful for other people.

csicar commented 6 years ago

thank you!