Viewing a single comment thread. View all comments

3

Moonside wrote

I just checked the Wiki (I have never studied lambda calculus), can you beta reduce Y g = ...stuff... by hand?