Apparently you can generally assume x = x, which seems like a very nice feature and one that's perversely absent in all other programming languages I can think

Apparently you can generally assume x = x, which seems like a very nice feature and one that's perversely absent in all other programming languages I can think of. https://bertrandmeyer.com/2010/02/06/reflexivity-and-other-pillars-of-civilization/ https://bertrandmeyer.com/2010/02/06/reflexivity-and-other-p...