- 🔭 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 / cl-llvm Goto Github PK
View Code? Open in Web Editor NEWCFFI bindings for LLVM
License: MIT License