search

haskellari / lattices

Fine-grained lattice primitives for Haskell
BSD 3-Clause "New" or "Revised" License
35 stars 15 forks source link

Add a newtype to turn an Ord into a PartialOrd #59

Closed gwils closed 6 years ago

phadej commented 6 years ago

How's this different from http://hackage.haskell.org/package/lattices-1.7/docs/Algebra-Lattice-Ordered.html ?

gwils commented 6 years ago

It's not. Cheers.