Idris2Doc : Frexlet.Monoid.Notation

Frexlet.Monoid.Notation

Notation for working with monoids (mostly boilerplate)

Reexports

importpublic Frexlet.Monoid.Notation.Additive
importpublic Frexlet.Monoid.Notation.Multiplicative