β-Reduction HERO
β-Reduction HERO
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.
Categories and tags of the game : Auto-zipped, Puzzle, Single Player
