search

haskellari / lattices

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

Add free join-semilattices, free meet-semilattices and free lattices #37

Closed ocharles closed 7 years ago

ocharles commented 7 years ago

How does this look?