https://miquelt9.github.io/portfolio/tags/antlr4/Recent content in ANTLR4 on Miquel's PortfolioHugo -- gohugo.ioen-usTue, 13 Jun 2023 06:00:23 +0600https://miquelt9.github.io/portfolio/posts/college/lambdacalculustelegrambot/Tue, 13 Jun 2023 06:00:23 +0600https://miquelt9.github.io/portfolio/posts/college/lambdacalculustelegrambot/<h2 id="the-statement">The statement</h2> <p>The task was to build a lambda calculus interpreter. The interpreter also requiered to support the definition and use of macros. The interpreter had to run as a <a href="https://telegram.org/" target="_blank" rel="noopener">Telegram</a> bot. It was needed that the bot could support sending the image of the tree interpratated, do ß-reductions and α-conversions.</p> <p>The full statement can be found below or in the following <a href="https://gebakx.github.io/lp-achurch-23/" target="_blank" rel="noopener">site</a> (in Catalan).</p> <embed src="lp-achurch-23-enunciat.pdf" width="100%" height="700" type="application/pdf"> <br /> <p>More than a complex project this just requiered spending time on making sure all the requierements were added after understanding how λ calculus works. I also decided to add some more features such as multiple languages and toogle some of the features.</p>