News for hackers. Stuff that matters.
Re:Minimalism in programming language design by tromp on Tuesday May 24, 2022 @07:27AM (#31490642)
Right; you just add definitions you need like

let Y = \f. (\x. x x) (\x. f (x x)) in program-using-Y

which is the slightly more legible version of

(\Y. program-using-Y) (\f. (\x. x x) (\x. f (x x))

There are no comments on this comment yet.