@@ -30,7 +30,7 @@ snd (x, y) = y
32||| Function composition
32||| Function composition
33−(.) : {a, b, c : Type*} -> (b -> c) -> (a -> b) -> a -> c
33+(.) : (b -> c) -> (a -> b) -> a -> c
34(.) f g x = f (g x)
34(.) f g x = f (g x)
36||| Takes in the first two arguments in reverse order.
36||| Takes in the first two arguments in reverse order.