diff --git a/README.md b/README.md index 365b1fa3a5533a105d533932b6adfa82d9bacf82..d2193678ecba5592e7482df30fa05dd45f61dc65 100644 --- a/README.md +++ b/README.md @@ -7,13 +7,9 @@ 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 - [ The structures. ] (#structures) - [ What to install. ] (#needs) - [ How to install. ] (#installations) - [ Utilisation. ] (#utilisation) - [ parsing syntax. ] (#allow) - [ Documentation. ] (#Docu) - [ Contribution. ] (#cont) + + +<!-- TOC -->autoauto- [Alligators-python](#alligators-python)auto - [About the project](#about-the-project)auto - [Table of contents](#table-of-contents)auto - [The structures <a name="structures"></a>](#the-structures-a-namestructuresa)auto - [What to install <a name="needs"></a>](#what-to-install-a-nameneedsa)auto - [Integrate with your tools](#integrate-with-your-tools)auto - [Collaborate with your team](#collaborate-with-your-team)auto - [Test and Deploy](#test-and-deploy)auto- [Editing this README](#editing-this-readme)auto - [Suggestions for a good README](#suggestions-for-a-good-readme)auto - [Name](#name)auto - [Description](#description)auto - [Badges](#badges)auto - [Visuals](#visuals)auto - [Installation](#installation)auto - [Usage](#usage)auto - [Support](#support)auto - [Roadmap](#roadmap)auto - [Contributing](#contributing)auto - [Authors and acknowledgment](#authors-and-acknowledgment)auto - [License](#license)auto - [Project status](#project-status)autoauto<!-- /TOC --> ## The structures <a name="structures"></a>