Brett Evans
@brettevans.me
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
Went to the National Western Stock Show Parade. Disappointed they didn’t have the cattle drive.
January 9, 2025 at 8:54 PM
Went to the National Western Stock Show Parade. Disappointed they didn’t have the cattle drive.