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