search

haskellari / lattices

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

PartialOrd default impl. for `leq` via Ord #94

Open spacekitteh opened 4 years ago

spacekitteh commented 4 years ago

Just makes things easier.