lambda-breakout

Inspiration

Lambda calculus is taught on our degree - we figured we could incorporate it in a project.

What it does

Its a website that reduces Lambda Expressions into a game. It mimics the popular game breakout where if you hit a block it breaks through.

The twist with this project means that you have to hit the block that the prompt reduces to.

How we built it

It was built using FastAPI and Vue. The functionality for beta reduction was initially implemented in Haskell, but I couldn't be asked writing a sufficient string parser.

Challenges we ran into

A lot of time was spent on creating a functional algorithm that would be able to do beta

What's next for lambda-breakout

More levels and more gamification.

Built With

• fastapi
• vue