dunham
joined 3/15/09, 11:39 PM has 2400 karma
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.
This user hasn't posted yet