| user: | solomonb |
| created: | 6 years ago |
| karma: | 677 |
| about: | Software engineer with interests in programming language theory and type theory. I also like compost. |
| user: | solomonb |
| created: | 6 years ago |
| karma: | 677 |
| about: | Software engineer with interests in programming language theory and type theory. I also like compost. |