Member for 5 years, 11 months
Last seen more than a month ago
I'm an undergrad with interests in digraphs, complexity theory, logically constrained types, and optimization.
I've been mostly working with Haskell recently, but I'm also familiar with C, Mathematica, C++, and Python.
BadgesView all badges
Mar 11 '16
Aug 1 '16
Feb 17 '16