The notation used seems rather confusing, not even showing the list of arguments. For example, the argument swapping combinator C which is normally defined as

The notation used seems rather confusing, not even showing the list of arguments. For example, the argument swapping combinator C which is normally defined as C f x y = f y x is shown on this page as as y F x, which I can only make sense of by assuming that F is an infix function. In Haskell you could use infix notation to define C f x y = y `f` x but you can't use capitalize function arguments.