# Quelques essais autour du 𝜆-calcul

Fichiers :

* `lambda_calcul.py` module Python permettant de représenter des 𝜆-termes et de les réduire.
* `lambda_calcul.ipynb` calepin Jupyter décrivant et illustrant ce qu'est le 𝜆-calcul.
* `lambda_calcul.md` version Markdown du calepin précédent.


# Prérequis
 
* Tout ce travail a été réalisé avec Python 3.7.3 et Jupyter 6.1.
* L'utilisation du module `lambda_calcul.py` nécessite le module [`sly`](https://github.com/dabeaz/sly).

# Licence

Tous les documents se trouvent ici avec la licence 
[![Creative Commons CC BY](images/cc-by.png)](https://creativecommons.org/licenses/by/4.0/deed.fr).