β-Reduction HERO

game

Mad Dr. McCarthy has been capturing variables and turning them to his evil purposes. You need to eliminate the captured variables by swapping adjacent symbols and β-reducing them away! But watch out or he'll capture your variables.

Developer: Akiva Leffert
Tag: Puzzle
Language: en
Year: 2010