1.7 (2017-10-01)

• HashMap instances changed
• PartialOrd Meet and Join
• PartialOrd () and Void
• BoundedLattice (HashSet a)
• PartialOrd [a] (leq = isInfixOf)

1.6.0 (2017-06-26)

• Correct PartialOrd Map and IntMap instances
• Add Lattice instance for containers types.
• Change meets1 and joins1 to use Foldable1
• Add comparable to PartialOrd
• Add Algebra.Lattice.Free module
• Add Divisibility lattice.
• Fix Lexicographic.

1.5.0 (2015-12-18)

• Move PartialOrd (k -> v) instance into own module
• Const and Identity instances
• added fromBool
• Add Lexicographic, Ordered and Op newtypes

1.4.1 (2015-10-26)

• MINIMAL pragma in with GHC 7.8
• Add DEPREACTED pragma for meet and join, use infix version \/ and /\

1.4 (2015-09-19)

• Infix operators
• meets and joins generalised to work on any Foldable
• Deprecate Algebra.Enumerable, use universe package
• Add Applicative and Monad typeclasses to Dropped, Lifted and Levitated
• Add Semigroup instance to Join and Meet
• Add instances for (), Proxy, Tagged and Void

1.3 (2015-05-18)

• relaxed constraint for BoundedLattice (Levitated a)
• added instances to Dropped, Levitated and Lifted:
  • from base
  • NFData
  • Hashable
• added HashSet and HashMap lattice instances