diff --git a/README.md b/README.md index 74265e29c3b46555a6bda4b09b96c035f638f106..75bc4d4776e8a0253beb19744410bc6e21648632 100644 --- a/README.md +++ b/README.md @@ -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> -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. -Variable: [VAR, name], -Abstraction: [ABS, input, output] input and output are also lambda terms -Application: [APP, first_Term, second_Term] first_term and second_term are also lambda terms +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]<br /> +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<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.