search

haskellari / lattices

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

Added PartialOrd instances for Meet and Join #52

Closed sgraf812 closed 6 years ago

sgraf812 commented 6 years ago

I didn't add any tests for these, but this should be pretty easy to review.