- š 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 Goto Github PK
Name: Greg Pfeil
Type: User
Bio: Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits ā¦ like skiing or telling time.
Twitter: sellout
Location: Boulder, CO, USA
Blog: https://technomadic.org