diff --git a/README.md b/README.md index d2193678ecba5592e7482df30fa05dd45f61dc65..5a6a5869f409d686535f2c60d866106a5ff1dddb 100644 --- a/README.md +++ b/README.md @@ -9,9 +9,9 @@ The main goal of the program is to generate the result of the beta_reduction of ## Table of contents -<!-- 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 --> +<!-- TOC -->autoauto- [the structures](#structures)\n - [what to install](#lib)\n - [how to install](#needs)auto - [utilisation](#utilisation)\n - [parsing ](#parse)\n - [documentation](#docu)\n - [contribution](#contri)\n autoauto<!-- /TOC --> -## The structures <a name="structures"></a> +## 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],