network profile
| bio | website | google.com |
|---|---|---|
| location | Idaho | |
| age | 37 | |
| visits | member for | 9 months |
| seen | Oct 24 '12 at 20:18 | |
| stats | profile views | 1 |
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.
|
Oct 12 |
awarded | Analytical |
|
Oct 5 |
awarded | Supporter |
|
Aug 11 |
awarded | Autobiographer |
