Torec Studio

Lambda Calculus made fun: dive into reductions!

Logical arcade

Imagine a space curved like our universe. And solve a puzzle in it.