Introducing Yet Another REversible Language

Claudio Grandi, Dariush Moshiri, Luca Roversi

Yarel is a core reversible programming language that implements a class of permutations, defined recursively, which are primitive recursive complete. The current release of Yarel s…