bernatbc / lambda-calculus-telegram-bot Goto Github PK
View Code? Open in Web Editor NEW@λ-Calculus Bot is a Telegram bot based in a lambda-calculus interpreter creted by Alonzo Church.
Home Page: https://bernatbc.tk/posts/education/lambdacalculustelegrambot/