search

bodil / purescript-sized-vectors

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

fix unused import warning in tests #4

Closed matthewleon closed 7 years ago