“Turns out the Y-combinator has a normal form, surprisingly.”github.com/MaiaVictor2 pointsLightMachine8 years ago