История изменений
Исправление MyTrooName, (текущая версия) :
А как же Y-комбинатор?
попробуй расписать x -> (x => False) через него.
тут выше подсказывали, что true = \a.b.a, false = \a.b.b
вангую, что X окажется не равен ни тому, ни другому
Исходная версия MyTrooName, :
А как же Y-комбинатор?
попробуй расписать x -> (x => False) через него.
тут выше подсказывали, что true = \a.b.a, false = \a.b.b
вангую, что X окажется равен чему-то не true и не false.