Janus Circuit Compiler

This language compiled is based on a modified version of the Janus programming language. Below are some references:

• A reversible programming language and its invertible self-interpreter
• JANUS: A Time-Reversible Language

Not all arithmetic operations are currently supported but are planned.

Due to the compilation target (no-feedback circuit model), loops are only planned to be supported in the case where they have fixed bounds. Similarly support for recursion is not planned due to the difficulty of proving max bounds.