Lambda Days 2021 — Speakers
EB

Edwin Brady

Creator of Idris

Creator of the Idris programming language, researcher in dependent types.