|visits||member for||5 months|
|seen||Dec 18 '12 at 19:15|
I primarily program in C++ and Java. Recently I started learning Haskell. My current mathematical interests are group theory, graph theory, category theory, and type theory.
Disclaimer: If you haven't figured it out, the pic isn't really me.
|bio||website||google.com||visits||member for||5 months|
|location||Idaho||seen||Dec 18 '12 at 19:15|