- ๐ญ Iโm currently working on GHC plugins & category theory modeling
- ๐ฑ Iโm currently learning enriched category theory and dependent type theory
- ๐ฏ Iโm looking to collaborate on writing about functional programming
- ๐ฌ Ask me about freediving
- ๐ซ How to reach me: @sellout on Mastodon.social
- ๐ Pronouns: they/them
- โก Fun fact: I can hold my breath for four minutes.
sellout / category-parametric-talk Goto Github PK
View Code? Open in Web Editor NEWTalks on category-parametric programming.