dunhamsteve.bsky.social
he/him
Programmer and father of two. Currently dabbling in dependent type theory.
Seattle, WA, US
PUNCHCARD 80 commits