Equality in programming languages

Note last edited January 2022.
Backlinks: Instances and equality, Syntax styles in programming languages.
***