X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=66f40b6105fb1655f9cca700e166462657c14884;hp=b88cfe9d31cdaefd3bc6c92ea281a2c984e0089a;hb=f4c96076c1abbdf13bfb90d7e5b56ebe80dd7de7;hpb=d6c90390eadec4c8ec2c7728269ca063e9e45de0 diff --git a/index.mdwn b/index.mdwn index b88cfe9d..66f40b61 100644 --- a/index.mdwn +++ b/index.mdwn @@ -97,9 +97,9 @@ what you think you need in order to solve the problem. an evaluator with the definitions used for homework 3 preloaded is available at [[assignment 3 evaluator]]. -> Topics: Recursion with Fixed Point Combinators; [[Evaluation Order]] +> Topics: [[Evaluation Order]]; Recursion with Fixed Point Combinators -(4 Oct) Lecture notes for [[Week4]]; Assignment4 +(4 Oct) Lecture notes for [[Week4]]; [[Assignment4]]. > Topics: More on Fixed Points; Sets; Aborting List Traversals; [[Implementing Trees]] @@ -110,7 +110,7 @@ preloaded is available at [[assignment 3 evaluator]]. [[Upcoming topics]] -[Advanced Lambda Calculus Topics](/advanced lambda) +[Advanced Lambda Calculus Topics](/advanced_lambda) ##[[Offsite Reading]]##