About Steve Dunham

I'm a former Math and Computer Science grad student turned software engineer. Recently I've been revisiting the academic side of things, trying to learn type theory and category theory in my spare time.

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet