(.) should reduce with only two arguments
commite6d1cfdf9b682d975123a4981c41e2029d147b1f
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 17 Mar 2015, 10:10 (12 years ago)
parent147352c
libs/prelude/Prelude/Basics.idr+1−1
@@ -31,7 +31,7 @@ infixl 9 .
3131
3232||| Function composition
3333(.) : (b -> c) -> (a -> b) -> a -> c
34−(.) f g x = f (g x)
34+(.) f g = \x => f (g x)
3535
3636||| Takes in the first two arguments in reverse order.
3737||| @ f the function to flip