- 🔭 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 / cheshire Goto Github PK
View Code? Open in Web Editor NEWThis library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical.
License: GNU Affero General Public License v3.0