This repository is outdated. The actual project is here. The problem with this version is that I do not use an abstract syntax tree to find redexes, I look for them in a string, which works, but it is ideologically wrong.

Course work of Oganyan Robert. Third year of study, 6th term.

Here is a simple interpreter for beta-reduction of terms. Beta reduction of lambda terms has been implemented using de Bruijn (de Braun) notation and related: alpha conversions, naming contexts, shifts and substitutions.

Implemented with C++14, JetBrains Clion.

Start screen.

Rule's list.

Starting own-written tests.

Lets reduce this term: .

That is correct.

Now lets try this one: The result should be .

Correct. Now lets calculate (0 + 2 * 1) = 2

We are having . Reduction has been done correct.

Quit the program.