X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=d0d77f77b77621a04fbdd151d42e329e046c89f5;hp=28fc8c4941141fa93fb46aee024590e59dfcfcb4;hb=338166acc2e9f99f57d700a2b0de7aec4dac9173;hpb=2ee0d2918d40efc78e75ce8fbc6ae90f8edf6541 diff --git a/index.mdwn b/index.mdwn index 28fc8c49..d0d77f77 100644 --- a/index.mdwn +++ b/index.mdwn @@ -36,7 +36,8 @@ Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers -(27 Sept) ...(Notes to come) +(27 Sept) Lecture notesfor [[Week3]]; [[Assignment3]]. + Topics: Recursion with Fixed Point Combinators