lattices 1.7.1.1

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