| Safe Haskell | None |
|---|
MAlonzo.Code.Algebra.Properties.Semigroup
Documentation
d_x'8729'yz'8776'xy'8729'z_58 :: T_Semigroup_206 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
| Safe Haskell | None |
|---|
MAlonzo.Code.Algebra.Properties.Semigroup
d_x'8729'yz'8776'xy'8729'z_58 :: T_Semigroup_206 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #