Hang out + short talk (A Use of GADTs by Mitchell Rosen)

Weekly informal functional programming meeting. Thank you to Sentenai for sponsoring!

Shorts talks are 5-10 minutes long. They're meant to serve as discussion starters without changing the casual vibe of the meetup.