Steve Dunham
11 following
LightNews LightNews
Type Theory Forall
Type Theory Forall
@ttforall.bsky.social
idris-lang.org
idris-lang.org
@idris-lang.org
David Wahl
David Wahl
@zoomar.bsky.social
Edwin Brady
Edwin Brady
@edwin.type-driven.org.uk
Eric Wastl
Eric Wastl
@was.tl
The Oatmeal
The Oatmeal
@theoatmeal.bsky.social
Dan Marsden
Dan Marsden
@stringdiagram.bsky.social
renee french
renee french
@reneefrench.bsky.social
Sarah Gibbons
Sarah Gibbons
@sarahgibbs.bsky.social
Conor Mc Bride
Conor Mc Bride
@pigworker.bsky.social
rob pike
rob pike
@robpike.io