4 ms·
I definitely agree with the use of ":=", but "=" simply doesn't mean the same thing. For example, the similar statement "For x∈A, y = 2x" could even be interpre
by contravariant 11y ago
I definitely agree with the use of ":=", but "=" simply doesn't mean the same thing. For example, the similar statement "For x∈A, y = 2x" could even be interpreted as using y to define x.
- mattdesl 11y agoI'm working on improving that section; would be great if you could chime in here: https://github.com/Jam3/math-as-code/issues/17 https://github.com/Jam3/math-as-code/issues/17
- arsenide 11y agoI don't understand -- you say "=" and ":=" are not the same thing, but give an example where they act the same? Practically speaking, using ":=" removes any doubt when quickly skimming over old notes. It is nice to be able to easily separate what is defined and what is asserted in each of dozens of statements.