# Introducing Yet Another REversible Language

## TL;DR

Yarel is a reversible programming language that implements a class of permutations, with a Java compiler and an Eclipse IDE, contributing to the development of practical reversible computing tools.

## Contribution

This paper introduces Yarel, a new reversible language with a complete implementation and an IDE, advancing practical reversible programming.

## Key findings

- Yarel implements primitive recursive complete permutations.
- Yarel compiler translates to Java, enabling execution.
- Yarel-IDE supports development within Eclipse.

## Abstract

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 syntax and operational semantics, implemented by compiling Yarel to Java, is 0.1.0, according to Semantic Versioning 2.0.0. Yarel comes with Yarel-IDE, developed as an Eclipse plug-in by means of XText.