plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Relation.Binary.PropositionalEquality.Algebra

Documentation

d_isMagma_14 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_IsMagma_176 #

du_isMagma_14 :: T_IsMagma_176 #

d_magma_20 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Magma_68 #

du_magma_20 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_Magma_68 #