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