Brisbane Functional Programming Group #BFPG February meetup Tuesday 2025-02-11 - Lambda calculi with explicit substitutions (Donovan Crichton) + Mentor networking session hosted by Jack Kelly. Be there or be a lambda cube! #FP #PLT
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 -…