- ๐ญ 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 / dada Goto Github PK
View Code? Open in Web Editor NEWA total recursion scheme library for Dhall
License: GNU Affero General Public License v3.0