Comment on Why don't you use dependent types?parentComments−tombert10moThey will absolutely learn new stuff, but that stuff won't involve math, at least not formally. The second I've used any mathematical notation to describe anything, people just tune out.−anentropic10moThe second I've used any mathematical notation to describe anything, people just tune out.You stopped speaking their language
Comments
They will absolutely learn new stuff, but that stuff won't involve math, at least not formally. The second I've used any mathematical notation to describe anything, people just tune out.
You stopped speaking their language