prime' fns without redundant args

bodil / purescript-sized-vectors

Idris style sized vectors in PureScript

18 stars 12 forks source link

Closed matthewleon closed 7 years ago

matthewleon commented 7 years ago

an alternative, non-breaking approach to that taken in #6

bodil commented 7 years ago

This one, I like unreservedly. Let's merge!