issues
search
haskellari
/
lattices
Fine-grained lattice primitives for Haskell
BSD 3-Clause "New" or "Revised" License
35
stars
15
forks
source link
Heyting instances for Dropped, Lifted and Levitated
#112
Open
coot
opened
3 years ago