Past Meetup
Logic programming in Haskell’s type system
This Meetup is past
20 people went
Every 2nd Monday of the month until February 10, 2019
Details
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.
Agenda:
* 6pm ~ 6:45pm: drinks and snacks to keep us functional
* 6:45pm: talk
* 8pm: lights out
