summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
c431707)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
There is now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.
There is now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.
-There's also a page of [[miscellaneous lambda challenges and advanced topics]].
-
-
<!--
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