He did you just need to look at the lhs to see how he does it with haskell.