> The second I've used any mathematical notation to describe anything, people ju...

		anentropic 48 days ago \| parent \| context \| favorite \| on: Why don't you use dependent types? > The second I've used any mathematical notation to describe anything, people just tune out. You stopped speaking their language