Algebra - sgml/signature GitHub Wiki
The postulational method treats the program text as a mathematical object in its own right, i.e. semantic equivalence of two programs means that they meet the same specifications.
- https://www.thecalculatorsite.com/articles/units/history-of-the-calculator.php
- https://www.meta-calculator.com/blog/what-was-used-before-calculators/
- https://en.wikipedia.org/wiki/The_Nine_Chapters_on_the_Mathematical_Art
- https://en.wikipedia.org/wiki/Commutative_property
- https://proofwiki.org/wiki/Natural_Number_Addition_is_Commutative
- https://panavtec.me/functional-programming-notes-algebraic-data-types
- https://medium.com/@notgiorgi/algebraic-data-types-explained-in-statically-typed-javascript-4ad31c2b12c9