The latest version of lattices is 2.2.1-1.
lattices
Version 2.0.3 revision 1 uploaded by phadej.
Package meta
- Synopsis
- Fine-grained library for constructing and manipulating lattices
- Description
In mathematics, a lattice is a partially ordered set in which every two elements
xandyhave a unique supremum (also called a least upper bound, join, orx /\ y) and a unique infimum (also called a greatest lower bound, meet, orx \/ y).This package provide type-classes for different lattice types, as well as a class for the partial order.
- Author
- Maximilian Bolingbroke <batterseapower@hotmail.com>, Oleg Grenrus <oleg.grenrus@iki.fi>
- Bug reports
- http://github.com/phadej/lattices/issues
- Category
- Math
- Copyright
- (C) 2010-2015 Maximilian Bolingbroke, 2016-2019 Oleg Grenrus
- Homepage
- http://github.com/phadej/lattices/
- Maintainer
- Oleg Grenrus <oleg.grenrus@iki.fi>
- Package URL
- n/a
- Stability
- n/a