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. Profile ©