Chris Ford@ctford·Jul 18, 2017"These dynamic langs are so sloppy. We should be more rigorous, like maths." "Cool! What does maths use to indicate types?" "Fonts, mostly."215061,155
Brendan Zabarauskas@brendanzabReplying to @ctfordUnivalent foundations can’t come soon enough!8:30 AM · Oct 25, 2017·Twitter for iPhone1 Like