X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=6e90c43a8519838e957fcfeb0119f897ef80a947;hp=9fb68725ebf3e76de7490045c3f323f204d07995;hb=8b06e6d67d635da442a085b3f0baeabb73539256;hpb=84a837df401ab939638d7b01a5da9ec00e8a2a0b diff --git a/index.mdwn b/index.mdwn index 9fb68725..6e90c43a 100644 --- a/index.mdwn +++ b/index.mdwn @@ -17,6 +17,11 @@ You should see the student sessions as opportunities to clear up lingering issue 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. + +There's also a page of [[miscellaneous lambda challenges and advanced topics]]. + + @@ -43,6 +46,8 @@ Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Nor Topics: Recursion with Fixed Point Combinators +(4 Oct) Lecture notes for Week 4 +