Adding useful type-class instances for NonEmpty

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

https://github.com/LeventErkok/sbv

Other

239 stars 33 forks source link

Closed recursion-ninja closed 3 months ago

recursion-ninja commented 4 months ago

Pull Request to address #688 .

LeventErkok commented 3 months ago

I'll add an implementation that correctly does the ord instance