The statement

We were asked to make a lambda-calculus interpreter created by Alonzo Church. This interpreter had also to support the definition and use of macros, a variable name for another expression. Those macros had to be evaluated in an infix (if it’s a symbol) or a prefix mode (otherwise). On top of that, our interpreter had to run in a Telegram chat. Finally, we had to add the capability to print our expression as a tree in an image.

The full statement can be found below or in the following site. Note that the statement is in Catalan.


Getting Started

Method 1: Try telegram bot

You’ll need to have telegram installed and an account. For more information, please visit telegram.org.

You can access the bot through the @lambda_calculus_bot account.

Method 2: Build own telegram bot

1. Install dependencies

The following dependencies are required:

  • python3 version 3.7 or later
  • pip
  • antlr4 version 4.10 or later
  • graphviz
  • telegram

After the installation of those packages, we’ll install the following python packages:

pip install antlr4-tools                # version 4.10 or later
pip install antlr4-python3-runtime      # version 4.10 or later
pip install python-telegram-bot         # version 20.0 or later
pip install pydot

2. Get source code

To get the source code, you can simply download the zip file, or you can clone this repository by typing:

git clone https://github.com/BernatBC/Lambda-Calculus-Telegram-Bot.git

3. Setting up a Telegram Bot

Message the Telegram account @BotFather and follow its instructions to create your own bot.

After that, create a file token.txt inside the repository directory and paste the token generated by the @BotFather account.

For more information, please visit the Telegram Bot Guide.

4. Run locally

From the repository directory, run the following command:

python3 achurch.py

Finally, you can chat with the bot created.

Method 3: Execute from terminal

1. Install dependencies

The following dependencies are required:

  • python3 version 3.7 or later
  • pip
  • antlr4

After the installation of those packages, we’ll install the following python packages:

pip install antlr4-tools                # version 4.10 or later
pip install antlr4-python3-runtime      # version 4.10 or later

2. Get source code

To get the source code, you can simply download the zip file, or you can clone this repository by typing:

git clone https://github.com/BernatBC/Lambda-Calculus-Telegram-Bot.git

3. Run locally

Finally, from the repository directory, run the following command:

python3 achurch.py terminal

Chat with λ-Calculus Bot in Telegram

View Code on Github