search

bodil / purescript-sized-vectors

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

Implement instance Traversable #1

Closed dikmax closed 7 years ago

dikmax commented 7 years ago

It will be really useful.

bodil commented 7 years ago

Resolved by f43443d5cf613dfeb00a5d7cafa24e535077ee95