@dunhamsteve.bsky.social
Programmer and father of two. Currently dabbling in dependent type theory.
Newt - a dependent typed programming language
