search

bodil / purescript-sized-vectors

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

FIX: build for 0.12 #13

Closed eric-corumdigital closed 6 years ago

eric-corumdigital commented 6 years ago

Depends on my 0.12 build fix for typelevel.