Frex.Free.Construction.IdrisMonoid

Definitions

display : Proof MonoidTheory lhs rhs -> Doc ()

Totality: total
Visibility: export

idris : List (String, Lemma MonoidTheory) -> String

Totality: total
Visibility: export