search

bodil / purescript-sized-vectors

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

Add `DecodeJson` and `EncodeJson` instance #24

Closed m-bock closed 4 years ago

m-bock commented 4 years ago

since we're at it.. I think this would really make sense to have.

athanclark commented 4 years ago

And Generic too