From b313d09a3ccf55f1471ce2d0143f0bdf8df1a015 Mon Sep 17 00:00:00 2001
From: Tamazouzt AIT ELDJOUDI <tamazouzt.ait-eldjoudi@etu.univ-amu.fr>
Date: Wed, 29 Jun 2022 22:00:10 +0200
Subject: [PATCH] readme

---
 README.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 74265e2..75bc4d4 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.
 
-- 
GitLab