I have long been a massive fan of Functionaλ, (https://store.steampowered.com/app/1636730/functional/) a game based on Lambda Calculus.

It's open source: https://github.com/yancouto/functional

#FunctionalPrograming #LambdaCalculus #Steam #Programming #Games

functional on Steam

functional is a puzzle game about math and abstraction.

But, since, I've found https://bntr.itch.io/visual-lambda, which is arguably harder to pick-up, but even more gratifying when one gets to reductions.

#FunctionalPrograming #LambdaCalculus #Steam #Programming #Games

Visual Lambda Calculus by Torec Studio

Lambda Calculus made fun: dive into reductions!

itch.io