Talk change for #BFPG tonight. The explicit substitutions talk will be rescheduled. In its place, parser combinators in #Haskell (live-coding a JSON parser from scratch).
Be there or be a lambda cube. https://lu.ma/85i70qns
lu.maBFPG Meetup - February 2025 - Explicit substitutions + Mentor networking session · LumaAgenda
18:00: Welcome and setup
Presentation #1: Lambda calculi with explicit substitutions - Donovan Crichton
Presentation #2: Mentor networking session -…