Idris2Doc : Frexlet.Monoid.Commutative.Frex

Frexlet.Monoid.Commutative.Frex

Free extension of a commutative monoid free by a finite set

Reexports

import public Frexlet.Monoid.Commutative.NatSemiLinear
import public Frexlet.Monoid.Commutative.Nat
import public Frexlet.Monoid.Commutative.Coproduct
import public Frexlet.Monoid.Commutative.Free