- ๐ญ 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 / recursion-scheme-talk Goto Github PK
View Code? Open in Web Editor NEWA talk on using recursion schemes in FP.
License: GNU Affero General Public License v3.0