Donovan Crichton

About

PhD student in dependent type theory at the Australian National University. Functional Programmer in Haskell and Idris.

Events

• BFPG Meetup - March 2026 - algebraic structures + the monad tutorial fallacy 2026-03-10
• BFPG 2026 kickoff: BBQ @ Roma St Parkland 2026-01-31
• BFPG Hack Day - November 2025 2025-11-01
• BFPG Meetup - October 2025 - Full stack type safety double-header 2025-10-14
• BFPG Meetup - May 2025 - Compiling parametric polymorphism + Haskell Security Team 2025-05-13
• BFPG Meetup - February 2025 - Parser combinators + Mentor networking session 2025-02-11