push.cx
Peter Bhat Harkins
Attending Recurse Center
Life: New York City, Recurse Cener
7 comments
I have been accepted to the Recurse Center to spend three months on collaborative, self-directed study of programming. I’m planning to continue studying Haskell and dependent types, proof assistants, and category theory. Maybe Coq, Idris, or TLA+ if I can find someone else interested.