daved.dev
Posts
Posts
type system
2019
Objectively Harmful
Apr 3