Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_isMagma_14 ∷ T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_IsMagma_176 Source #
d_magma_20 ∷ T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_Magma_68 Source #
du_magma_20 ∷ (AgdaAny → AgdaAny → AgdaAny) → T_Magma_68 Source #