Generalised Algebraic Data Types

• Short presentation (possibly, live coding) by Dmitry Rets on generalized algebraic datatypes. This is the introduction talk to type-level programming, but it assumes basic knowledge in Haskell (or Purescript).
• Let's hang out with a beer and have a talk about functional programming topics
• Let's discuss the topic(s) for the next meetups.

Huge thanks to Sovanta AG (https://sovanta.com) for hosting the first purely functional meetup in Heidelberg!

Feel free to join us on Slack: https://join.slack.com/t/heidelberg-lambda/shared_invite/enQtMjYzMzM3MjMzNjg0LWEwOWJlNjlkNjdiMmYwNDllMGUxNWFhMzUyYTRlZDUyMmZiMmNjNzRlNDFkNzY0ZTE3NmM2ZTViYTk3NmMyNDY