- ๐ญ 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 / concat Goto Github PK
View Code? Open in Web Editor NEWThis project forked from compiling-to-categories/concat
Compiling to Categories
Home Page: http://conal.net/papers/compiling-to-categories
License: BSD 3-Clause "New" or "Revised" License