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 -->
