From 2f59921c61e516e142ea39e46c9632081f39ef1e Mon Sep 17 00:00:00 2001 From: Tamazouzt AIT ELDJOUDI <tamazouzt.ait-eldjoudi@etu.univ-amu.fr> Date: Wed, 29 Jun 2022 21:50:08 +0200 Subject: [PATCH] readme --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index d219367..5a6a586 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], -- GitLab