5 ms·
My view is that math is highly expressive and constraining that expressivity through rules like don’t type |x| is not a great idea
by math-dev 4y ago
My view is that math is highly expressive and constraining that expressivity through rules like don’t type |x| is not a great idea
- 7373737373 4y agoThere is probably some value in the generality/ambiguity/multiplicity of notation, but in my experience it hindered the learning process - eyes glazing over more often than they should