├── .github └── workflows │ └── haskell-ci.yml ├── .gitignore ├── .stylish-haskell.yaml ├── CHANGELOG.md ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── Setup.lhs ├── cabal.haskell-ci ├── cabal.project ├── lattices.cabal ├── m2.png ├── m3.png ├── n5.png ├── src └── Algebra │ ├── Heyting.hs │ ├── Heyting │ ├── Free.hs │ └── Free │ │ └── Expr.hs │ ├── Lattice.hs │ ├── Lattice │ ├── Divisibility.hs │ ├── Dropped.hs │ ├── Free.hs │ ├── Free │ │ └── Final.hs │ ├── Levitated.hs │ ├── Lexicographic.hs │ ├── Lifted.hs │ ├── M2.hs │ ├── M3.hs │ ├── N5.hs │ ├── Op.hs │ ├── Ordered.hs │ ├── Unicode.hs │ ├── Wide.hs │ └── ZeroHalfOne.hs │ ├── PartialOrd.hs │ └── PartialOrd │ └── Instances.hs ├── test └── Tests.hs └── wide.png /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/.gitignore -------------------------------------------------------------------------------- /.stylish-haskell.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/.stylish-haskell.yaml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/README.md -------------------------------------------------------------------------------- /Setup.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/Setup.lhs -------------------------------------------------------------------------------- /cabal.haskell-ci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/cabal.haskell-ci -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- 1 | packages: . 2 | tests: true 3 | -------------------------------------------------------------------------------- /lattices.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/lattices.cabal -------------------------------------------------------------------------------- /m2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/m2.png -------------------------------------------------------------------------------- /m3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/m3.png -------------------------------------------------------------------------------- /n5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/n5.png -------------------------------------------------------------------------------- /src/Algebra/Heyting.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Heyting.hs -------------------------------------------------------------------------------- /src/Algebra/Heyting/Free.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Heyting/Free.hs -------------------------------------------------------------------------------- /src/Algebra/Heyting/Free/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Heyting/Free/Expr.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/Divisibility.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/Divisibility.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/Dropped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/Dropped.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/Free.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/Free.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/Free/Final.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/Free/Final.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/Levitated.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/Levitated.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/Lexicographic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/Lexicographic.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/Lifted.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/Lifted.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/M2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/M2.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/M3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/M3.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/N5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/N5.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/Op.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/Op.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/Ordered.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/Ordered.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/Unicode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/Unicode.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/Wide.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/Wide.hs -------------------------------------------------------------------------------- /src/Algebra/Lattice/ZeroHalfOne.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/Lattice/ZeroHalfOne.hs -------------------------------------------------------------------------------- /src/Algebra/PartialOrd.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/PartialOrd.hs -------------------------------------------------------------------------------- /src/Algebra/PartialOrd/Instances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/src/Algebra/PartialOrd/Instances.hs -------------------------------------------------------------------------------- /test/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/test/Tests.hs -------------------------------------------------------------------------------- /wide.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haskellari/lattices/HEAD/wide.png --------------------------------------------------------------------------------