2 ms·omega = Y id where id = λx. x (though Y Y does not normalize either, infinite looping like omega)by kmill 5y agoomega = Y id where id = λx. x (though Y Y does not normalize either, infinite looping like omega)