dunhamsteve.bsky.social he/him

Follow
Vouch
Programmer and father of two. Currently dabbling in dependent type theory.
2 followers · 2 following
Seattle, WA, US
bsky.app dunhamsteve.github.io

Activity

This user does not have any activity yet.

Pinned repositories

No pinned repositories.