Upload a new image (PNG or JPEG, max 5MB) or remove your current avatar.

dunhamsteve.bsky.social

he/him

1 followers 1 following

Programmer and father of two. Currently dabbling in dependent type theory.

Seattle, WA, US
Blacksky dunhamsteve.bsky.social
https://dunhamsteve.github.io
https://github.com/dunhamsteve

Vouch for

PUNCHCARD 0 commits

PINNED REPOS
newt
Newt - a dependent typed programming language
1

ACTIVITY

2 months ago

created 1 repository
newt