X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=66f40b6105fb1655f9cca700e166462657c14884;hp=3054b9c22f9b5978cc504df8c1d03fd5cb20c58b;hb=d437f108ffa48fa141665ffb0b836a9ad53093e7;hpb=5d1fba11f467690102612a059363e8b77eccfe32 diff --git a/index.mdwn b/index.mdwn index 3054b9c2..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 Week 4 +(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]]##