@λ-Calculus Bot is a Telegram bot based in a lambda-calculus interpreter created by Alonzo Church.
- λ-Calculus interpreter
- Prefix and infix macro support
- Telegram Bot
- Graph visualization
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.
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
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
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.
From the repository directory, run the following command:
python3 achurch.py
Finally, you can chat with the bot created.
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
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
Finally, from the repository directory, run the following command:
python3 achurch.py terminal