Idris2Doc : Frexlet.Monoid.Commutative

Frexlet.Monoid.Commutative

Reexports
import public Frexlet.Monoid.Theory
import public Frexlet.Monoid.Commutative.Theory
import public Frexlet.Monoid.Commutative.Notation.Core
import public Frexlet.Monoid.Commutative.Nat
import public Frexlet.Monoid.Commutative.Coproduct
import public Frexlet.Monoid.Commutative.Free
Definitions
Frex : Frexlet
  Totality: total
  Visibility: public export