The Brisbane Functional Programming Group is having its first meeting of 2025 on February 11, at the Brisbane Square Library. There will be a talk on lambda calculi with explicit substitutions, and a mentor/networking session to connect people wanting to do more FP with mentors who can help make that happen.
Full details and RSVP are available on Luma: BFPG Meetup - February 2025 - Explicit substitutions + Mentor networking session · Luma