Idris2Doc : Frexlet.Monoid

Frexlet.Monoid

Reexports

import public Frexlet.Monoid.Theory
import public Frexlet.Monoid.Frex
import public Frexlet.Monoid.Nat
import public Frexlet.Monoid.Pair
import public Frexlet.Monoid.List
import public Frexlet.Monoid.Free