Deferred Discussions

• lambda calculus, single vs multiple arguments, Lisp vs Haskell, Currying
• what happens with division
• union types
• infix notation for more than two arguments