Code to π£ your mind! π€― β Dependent types, independent thought.
Brent Yorgey
byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.
π«π€ No LLMs.
Hendrix College Conway, AR, USA
Elisabeth Stenholm
elisabethstenholm
π©βπ» Software developer | Ξ» Functional programming enthusiast | π©βπ PhD in Homotopy Type Theory