Embed Notice

@aeva @mcc The name (and only the name) reminds me that Janus may be interesting to check out. Completely impractical as a language, and almost entirely useless, but fascinating in that it's purely reversible and can, in principle, be run with entropy cost.

https://en.wikipedia.org/wiki/Janus_(time-reversible_computing_programming_language)