I work with Haskell, functional compilers, and type systems.
I'm also on Twitter.
Q&A for professional and enthusiast programmers
Joined 5 years ago, last seen 4 months ago
Q&A for people studying math at any level and professionals in related fields
Joined 4 years ago, last seen 11 months ago
Q&A for professional mathematicians
Joined 5 years ago, last seen 1 year ago