Thanks. I'm not scared by math, but might just need to write things down myself so I can space out the formulas. I never learned math just by reading, so I suppose that I shouldn't expect to do so with LC. Part of this could be my crappy eyesight.
> I never learned math just by reading, so I suppose that I shouldn't expect to do so with LC.
Yes, and I think that's the problem nowadays with internet learning. We go through a lot of resources, picking up things here and there. And we don't take the necessary time to write things down and solve exercises.
With the lambda calculus, I think you eventually need to write terms and perform the reductions. A fun thing to do is to play with fixed point combinators. It's really not difficult, just take a little patience and discipline.
