Frexlet.Monoid.Involutive.Free

Definitions

Initial : Free InvolutiveMonoidTheory (cast Void)

Visibility: public export

FreeInvolutiveMonoidOver : (n : Nat) -> Free InvolutiveMonoidTheory (cast (Fin n))

Visibility: public export