News for hackers. Stuff that matters.
Re:Typedefs by tonyg on Wednesday November 18, 2020 @04:23PM (#25142628)
Preserves has an equational theory. It's untyped, though, like S-expressions, JSON and XML.

There are no comments on this comment yet.