- π 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