Merge heyting-algebras - Githubissues

haskellari / lattices

Fine-grained lattice primitives for Haskell

BSD 3-Clause "New" or "Revised" License

35 stars 15 forks source link

Merge heyting-algebras #78

Closed coot closed 4 years ago

coot commented 5 years ago

in heyting-algebras I had this cabal flag EXPORT_PROPERTIES which if unset will not export quickcheck properties (then there is one transitive dependency less, i.e. quickcheck). We should either:

remove it
add a build that tests when it is unset What do you prefer?

coot commented 4 years ago

I think we can close this one, since lattice package include Heyting algebras by now.