> 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 learn

> 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.