Pythonschlangelambda-Kalkülbaugruppenprojekt ist eine einfache aber Vollfunktionsbaugruppe für die Erforschung des Lambda-Kalküls.

Es versteht die verschiedenen Typen der Lambda-Ausdrücke, kann Listen von Variablen (freigeben und springen) und von subterms extrahieren und kann schwierige Ausdrücke mittels der Anwendung vereinfachen.

Darstellungen für Lambda-Ausdrücke variieren etwas, also ist es lehrreich, die exakte Darstellung einzeln aufzuführen, die durch diese Baugruppe verwendet. Eine Variable ausgedrückt mit einer Zeichenkette der alphanumerischen Zeichen z.B. x oder abc1 er.

Was in diesem Auslösen neu ist:

· Anfangsauslösen.