@@ -13,10 +13,10 @@ The main goal of the program is to generate the result of the beta_reduction of
...
@@ -13,10 +13,10 @@ The main goal of the program is to generate the result of the beta_reduction of
## structures <a name="structures"></a>
## structures <a name="structures"></a>
Lambda terms are respresented by lists, the first element of the list is an indication to the type of the lambda term that it represents.
Lambda terms are respresented by lists, the first element of the list is an indication to the type of the lambda term that it represents.<br/>
Variable: [VAR, name],
Variable: [VAR, name]<br/>
Abstraction: [ABS, input, output] input and output are also lambda terms
Abstraction: [ABS, input, output] input and output are also lambda terms<br/>
Application: [APP, first_Term, second_Term] first_term and second_term are also lambda terms
Application: [APP, first_Term, second_Term] first_term and second_term are also lambda terms<br/>
The png images are already created, to build the image of a lambda term we just have to concatenate the existing images and to colorate the alligators and eggs by random colors.
The png images are already created, to build the image of a lambda term we just have to concatenate the existing images and to colorate the alligators and eggs by random colors.
