Derive Ord instance - Githubissues

bodil / purescript-sized-vectors

Idris style sized vectors in PureScript

18 stars 12 forks source link

Closed milesfrain closed 3 years ago

milesfrain commented 3 years ago

Added the missing Ord instance.

athanclark commented 3 years ago

How the heck did I miss this? Thanks a bunch for catching this, I'll update the version and republish.