currying_infix.vh (184B)
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
(2 + 3) -- Eq. of: ((2 +) 3), can write: ((+ 3) 2) (2 +) (+ 3) -- Partial application ---- 2 + 3 -- same as (+) 2 3 -- same as (flip (+)) 3 2 -- same as (2 +) 3 -- same as (+ 3) 2
