Li-Fan Chen => YSITD: let Y = f => (x=>f(x(x))(x=>f(x(x))) #5ab149c75cd614657984b617

Li-Fan Chen says to YSITD

let Y = f => (x=>f(x(x))(x=>f(x(x)))

at Wed, Mar 21, 2018 1:49 AM