search

bodil / purescript-sized-vectors

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

Implement Traversable. #2

Closed dikmax closed 7 years ago

bodil commented 7 years ago

Could you add a test?

bodil commented 7 years ago

nm, I added a few. :)

Thanks!