Miquel's Portfolio
  • Home
  • About
  • Skills
  • Experience
  • Education
  • Projects
  • Projects
  • Contact
  • Dark Theme
    Light Theme Dark Theme System Theme
  • Tags
  • AI
  • ANTLR4
  • Bot
  • C#
  • C++
  • Clips
  • College
  • Competition
  • Figma
  • Java
  • Numpy
  • Pandas
  • PDDL
  • Python
  • React
  • Scikit-Learn
  • Telegram
  • TypeScript
  • Unity
  • Videogame
  • Vite
Hero Image
λ-Calculus Telegram Bot

The statement 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 Telegram bot. It was needed that the bot could support sending the image of the tree interpratated, do ß-reductions and α-conversions. The full statement can be found below or in the following site (in Catalan). 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.

  • College
  • ANTLR4
  • Python
  • Telegram
Tuesday, June 13, 2023 | 1 minute Read
Navigation
  • About
  • Skills
  • Experience
  • Education
  • Projects
  • Projects
Contact me:
  • miqueltorner9@gmail.com
  • miquelt9
  • Miquel Torner Viñals
  • Miquel Torner Viñals

Toha Theme Logo Toha
© 2026 Copyright.
Powered by Hugo Logo