Changelog for morphisms-objects-0.1.3
0.1.1
- Define
Setoid
andChain
type classes
0.1.2
- Define
Infimum
andSupremum
ofSemilattice
andLattice
type classes
0.1.3
- Define
Semilattice
type family - Remove all prefix binary operators from type classes
- Define
Semiring
type class