@dunhamsteve@mathstodon.xyz
Joined: 11/08/2022
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.
{username} has no public lists
{username} has no activity yet