Steve Dunham

@dunhamsteve.bsky.social

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

1 repos 1 followers 1 following

Repositories Stars Followers Following

did:plc:5wfpkprwcbhwb2jknr33tbxs/sh.tangled.repo/3mhgkj3ic6r22

Starred 6d ago

did:plc:jjiv56ot7d6sgethto3jr3r5/sh.tangled.repo/3m3zt3yvswn22

Starred 11d ago

did:plc:2ysmfb6dnbcqs5peyt776ty6/sh.tangled.repo/3miamfqk6bc22

Starred Mar 30, 2026