@@ -31,7 +31,7 @@ infixl 9 .
32||| Function composition
32||| Function composition
33(.) : (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.
37||| @ f the function to flip
37||| @ f the function to flip