μ-Recursive Function Interpreter

Source Code

Query:

Explanation of the example:

mul
⬋⬊
proj_1^3add
⬇⬋⬊
⬇proj_2^3proj_3^3
⬇⬇⬇
453

this means 4*(5+3)


Print debug output on the console for