Skip to content

Features/true monoids

Thorsten Wißmann requested to merge features/true-monoids into master

Implements the following new functor:

(ℤ, max)^X

x: {x: 1, y: 3}
y: {x: 2, y: 2}
z: {x: -5, y: 3, z: 1}

Merge request reports