#include "lambda_lib/lambda_lib.hpp"

using namespace lambda;

int main(void) {

std::unique_ptr<LambdaBase> node = //

std::make_unique<Application>( //

std::make_unique<Function>( //

Variable('y'), //

std::make_unique<Application>( //

std::make_unique<Function>( //

Variable('x'), //

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

), //

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

) //

), //

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

); //

print(node);

std::cout << "\n";

rename(node);

print(node);

std::cout << "\n";

std::unique_ptr<LambdaBase> value =

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

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

Variable target = ((std::unique_ptr<Function>&)node)->bound;

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

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

print(node);

std::cout << "\n";

return 0;

}