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.
Member for 4 years, 2 months
3 profile views
Last seen Nov 11 '19 at 1:30