The following code, stored in file `ytest.ars', represents a translation of the Lambda Calculus code discussed above into A++.
The A++ - interpreter reads the file ``init.ars'' automatically, which contains the definition of basic abstractions like `lif', `add', `sub', `equaln', `mult', `zero', `one' and others.