Idris2Doc : Frexlet.Monoid.Frex

Frexlet.Monoid.Frex

The free extension of a monoid a by a setoid x

Reexports

import public Frexlet.Monoid.Frex.Structure
import public Frexlet.Monoid.Frex.Properties
import public Frexlet.Monoid.Frex.Construction