Evening all
I am trying to get my head around β -reduction and am really struggling with this topic. I thought perhaps a basic numerical example would help, but there