lattices 2

15 Reverse deps Accepted versions
camfort >=1.7.1 && <1.8
data-interval >=1.2.1.1 && <2
datafix <2
edit-lenses >=1.2
expressions >=2 && <2.1
formura -any
heyting-algebras >=1.0 && <1.8
kleene >=2 && <2.1
lfst >=1.5
lvish >=1.2
NearContextAlgebra >=1.3 && <1.4
pomaps >=1.7 && <2
semibounded-lattices >=1.4
sign >=1.4
toysolver -any