Agda User Manual v2.5.2defined by hand, mempty would be mempty : ∀ {a} {A : Set a} {{_ : Monoid A}} → A mempty {{mon}} = Monoid.mempty mon Although record types are a natural fit for Haskell-style type classes, you can use instance0 码力 | 151 页 | 152.49 KB | 1 年前3
Agda User Manual v2.5.2defined by hand, mempty would be mempty : {a} {A : Set a} {{_ : Monoid A}} → A mempty {{mon}} = Monoid.mempty mon Although record types are a natural fit for Haskell-style type classes, you can use instance0 码力 | 107 页 | 510.49 KB | 1 年前3- Agda User Manual v2.5.3defined by hand, mempty would be mempty : {a} {A : Set a} {{_ : Monoid A}} → A mempty {{mon}} = Monoid.mempty mon Although record types are a natural fit for Haskell-style type classes, you can use instance0 码力 | 135 页 | 600.40 KB | 1 年前3
- Agda User Manual v2.5.3defined by hand, mempty would be mempty : ∀ {a} {A : Set a} {{_ : Monoid A}} → A mempty {{mon}} = Monoid.mempty mon Although record types are a natural fit for Haskell-style type classes, you can use instance0 码力 | 185 页 | 185.00 KB | 1 年前3
- Agda User Manual v2.5.4.2defined by hand, mempty would be mempty : ∀ {a} {A : Set a} {{_ : Monoid A}} → A mempty {{mon}} = Monoid.mempty mon Although record types are a natural fit for Haskell-style type classes, you can use instance0 码力 | 216 页 | 207.61 KB | 1 年前3
- Agda User Manual v2.5.4defined by hand, mempty would be mempty : {a} {A : Set a} {{_ : Monoid A}} → A mempty {{mon}} = Monoid.mempty mon Although record types are a natural fit for Haskell-style type classes, you can use instance0 码力 | 155 页 | 668.67 KB | 1 年前3
- Agda User Manual v2.5.4.1defined by hand, mempty would be mempty : {a} {A : Set a} {{_ : Monoid A}} → A mempty {{mon}} = Monoid.mempty mon Although record types are a natural fit for Haskell-style type classes, you can use instance0 码力 | 155 页 | 668.90 KB | 1 年前3
- Agda User Manual v2.5.4.1defined by hand, mempty would be mempty : ∀ {a} {A : Set a} {{_ : Monoid A}} → A mempty {{mon}} = Monoid.mempty mon Although record types are a natural fit for Haskell-style type classes, you can use instance0 码力 | 216 页 | 207.64 KB | 1 年前3
- Agda User Manual v2.5.4.2defined by hand, mempty would be mempty : {a} {A : Set a} {{_ : Monoid A}} → A mempty {{mon}} = Monoid.mempty mon Although record types are a natural fit for Haskell-style type classes, you can use instance0 码力 | 155 页 | 668.75 KB | 1 年前3
- Agda User Manual v2.5.4defined by hand, mempty would be mempty : ∀ {a} {A : Set a} {{_ : Monoid A}} → A mempty {{mon}} = Monoid.mempty mon Although record types are a natural fit for Haskell-style type classes, you can use instance0 码力 | 216 页 | 207.63 KB | 1 年前3
共 34 条
- 1
- 2
- 3
- 4