3 ms·
Not directly math but Guy Steel's talk at Clojure Conj [0] on computer science type notation touches on related issues and is a great watch. 0. https://youtu.b
by hyperion2010 9y ago
Not directly math but Guy Steel's talk at Clojure Conj [0] on computer science type notation touches on related issues and is a great watch.
0. https://youtu.be/dCuZkaaou0Q https://youtu.be/dCuZkaaou0Q