Add Lexicographic ordering lattice.

haskellari / lattices

Fine-grained lattice primitives for Haskell

BSD 3-Clause "New" or "Revised" License

35 stars 15 forks source link

Closed derekelkins closed 8 years ago

derekelkins commented 8 years ago

Useful for things like versioned valued, e.g. Last-Writer-Wins registers.

phadej commented 8 years ago

I resolver merge conflict myself. Thanks!

phadej commented 8 years ago

@derekelkins Finally made a release with your patches. Sorry it took long.