Signed-off-by: Jim Pryor <profjim@jimpryor.net>
There is now a [[lambda evaluator]] you can use in your browser (no need to install any software).
It can help you check whether your answer to some of the homework questions works correctly.
There is now a [[lambda evaluator]] you can use in your browser (no need to install any software).
It can help you check whether your answer to some of the homework questions works correctly.
+There is now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.
<!--
To play around with a **typed lambda calculus**, which we'll look at later
<!--
To play around with a **typed lambda calculus**, which we'll look at later