@brettevans.me
374 Followers · 2166 Following
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
