Cantor pairing in a reversible programming language
Francesco Rossini · 2019
Yarel is a core reversible programming language that implements a class of permutations, defined recursively, which are primitive recursive complete. The current development of Yarel is quite preliminary and almost every library to make it usable is missing. We here present the encoding of Cantor pairing in Yarel. The encoding improves the original one, given in the work that introduces the class of permutations which Yarel relies on.