#include "lambda_lib/lambda_lib.hpp"

using namespace lambda;

int main(void) {

std::unique_ptr<LambdaBase> node = //

std::make_unique<LambdaApplication>( //

std::make_unique<LambdaFunction>( //

LambdaVariable('y'), //

std::make_unique<LambdaApplication>( //

std::make_unique<LambdaFunction>( //

LambdaVariable('x'), //

std::make_unique<LambdaVariable>('x') //

), //

std::make_unique<LambdaVariable>('y') //

) //

), //

std::make_unique<LambdaVariable>('z') //

); //

print(node);

std::cout << "\n";

rename(node);

print(node);

std::cout << "\n";

std::unique_ptr<LambdaBase> value =

std::move(((std::unique_ptr<LambdaApplication>&)node)->right);

node = std::move(((std::unique_ptr<LambdaApplication>&)node)->left);

LambdaVariable target = ((std::unique_ptr<LambdaFunction>&)node)->bound;

node = std::move(((std::unique_ptr<LambdaFunction>&)node)->body);

apply(node, target, std::move(value));

print(node);

std::cout << "\n";

return 0;

}