issues
search
haskellari
/
lattices
Fine-grained lattice primitives for Haskell
BSD 3-Clause "New" or "Revised" License
35
stars
15
forks
source link
More instances for Meet and Join
#11
Closed
phadej
closed
8 years ago
phadej
commented
9 years ago
[x] Lattice
[x] Generic/Generic1
[x] Functor/Applicative/Monad/MonadZip
[x] Universe/Finite
[x] Const