|
|
| user: | dunham | | created: | March 15, 2009 | | karma: | 2466 | | 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. | | submissions | | comments | | favorites |
|
