T tedinski.com Types are a basic tool of software design (2018) 103 points gus_leonel 1 year ago 118 comments
