| Safe Haskell | None |
|---|
MAlonzo.Code.Relation.Binary.PropositionalEquality.Algebra
Documentation
d_isMagma_14 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsMagma_98 Source #
d_magma_20 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Magma_36 Source #
du_magma_20 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_Magma_36 Source #