Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

fixing the order of arguments for function composition.

  • Loading branch information...
commit b0f8ec3ad983bf0e078c530d37b7ae441e1bfb5c 1 parent 8f5b0ea
@gmalecha gmalecha authored
Showing with 2 additions and 2 deletions.
  1. +1 −1  theories/Data/PreFun.v
  2. +1 −1  theories/Structures/FunctorLaws.v
View
2  theories/Data/PreFun.v
@@ -68,5 +68,5 @@ Section type.
End type.
-Definition compose {A B C : Type} (f : A -> B) (g : B -> C) : A -> C :=
+Definition compose {A B C : Type} (g : B -> C) (f : A -> B) : A -> C :=
fun x => g (f x).
View
2  theories/Structures/FunctorLaws.v
@@ -24,7 +24,7 @@ Section laws.
typeOk tT -> typeOk tU -> typeOk tV ->
forall (f : T -> U) (g : U -> V),
proper f -> proper g ->
- equal (fmap (compose f g)) (compose (fmap f) (fmap g))
+ equal (fmap (compose g f)) (compose (fmap g) (fmap f))
; fmap_proper :> forall T U (tT : type T) (tU : type U),
typeOk tT -> typeOk tU ->
proper (@fmap _ _ T U)
Please sign in to comment.
Something went wrong with that request. Please try again.