Presenter: Henry Steere
Haskell uses Hindley Milner type inference, which is based on unification. Unification is also the basis of logic programming. Using GHC extensions you can take advantage of Haskell’s type system to do logic programming.
* 6pm ~ 6:45pm: drinks and snacks to keep us functional
* 6:45pm: talk
* 8pm: lights out