λ-Calculus Telegram Bot

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.