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

---
 README.md | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/README.md b/README.md
index 08c0388..365b1fa 100644
--- a/README.md
+++ b/README.md
@@ -7,13 +7,13 @@
 The main goal of the program is to generate the result of the beta_reduction of a lambda term given as an input and to show the images of the alligator's families that represents the lambda term and the different steps of it's beta_reduction. It also allows us to see how logical, boolean and arithmetic expressions are written in lambda calculus.
 
 ## Table of contents
-1. [ The structures. ] (#structures)
-2. [ What to install. ] (#needs)
-3. [ How to install. ] (#installations)
-4. [ Utilisation. ] (#utilisation)
-5. [ parsing syntax. ] (#allow)
-6. [ Documentation. ] (#Docu)
-7. [ Contribution. ] (#cont)
+ [ The structures. ] (#structures)
+ [ What to install. ] (#needs)
+ [ How to install. ] (#installations)
+ [ Utilisation. ] (#utilisation)
+ [ parsing syntax. ] (#allow)
+ [ Documentation. ] (#Docu)
+ [ Contribution. ] (#cont)
 
 ## The structures <a name="structures"></a>
 
-- 
GitLab