Comment on Why don't you use dependent types?parentComments−anentropic10moThe second I've used any mathematical notation to describe anything, people just tune out.You stopped speaking their language
Comments
You stopped speaking their language