- ๐ญ 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 / cats Goto Github PK
View Code? Open in Web Editor NEWThis project forked from typelevel/cats
Lightweight, modular, and extensible library for functional programming.
Home Page: http://typelevel.org/cats/
License: Other