| user: | dunham |
| created: | 16 years ago |
| karma: | 2336 |
| about: | I'm a Seattle area software engineer. I'm working with typescript in day job. I like to cook and work on Idris2 in my spare time. I'm currently trying to learn dependent type theory and category theory. |