| user | solomonb |
| created | Jan 19, 1970 |
| karma | 694 |
| about | Software engineer with interests in programming language theory and type theory. I also like compost. |
| user | solomonb |
| created | Jan 19, 1970 |
| karma | 694 |
| about | Software engineer with interests in programming language theory and type theory. I also like compost. |