We use R to do analysis, but it actually includes a very powerful programming language which can be used to conveniently teach (and execute) bits of the lambda

We use R to do analysis, but it actually includes a very powerful programming language which can be used to conveniently teach (and execute) bits of the lambda calculus.