3 ms·Preserves has an equational theory. It's untyped, though, like S-expressions, JSON and XML.by tonyg 6y agoPreserves has an equational theory. It's untyped, though, like S-expressions, JSON and XML.