diff --git a/README.md b/README.md index 08c03886e7ea67c4b903a1ced156b8fd1beff124..365b1fa3a5533a105d533932b6adfa82d9bacf82 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>