SKIY Lambda Calculus

Складываем комбинации из четырёх комбинаторов S, L, I и Y (комбинаторное/лямбда исчисление), а также из круглых скобок, меняющих порядок вычислений.

Для этих комбинаций выполняется автоматическая редукция по четырём правилам . Задача -- как можно дольше держать "стакан" пустым и набирать баллы.

Люди, разбирающиеся в комбинаторном исчислении на среднем уровне, обычно набирают 3-4 тысячи очков, а уровень 5 тысяч и выше -- это уровень сильного мастера, который способен быстро просчитывать наперёд сложнейшие комбинации редукций с помощью вложенных скобок.

Оригинальная веб-версия игры (автор Dirk van Deun):

http://dirk.rave.org/combinatris/how-to-play.html