Здравствуйте.
Хотелось бы сказать, что в курсе на Stepik не помешало бы поподробнее рассказать, как работает Scala в примере с Y-комбинатором. Да и вообще, зачем там был нужен Y-комбинатор... (и почему в курсе мат. логики обычно в таких местах заводят отдельную ф-ию, а там не заводили)