X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=66f40b6105fb1655f9cca700e166462657c14884;hp=40de9d1c6347980da0b80872450f35ac48093a03;hb=d437f108ffa48fa141665ffb0b836a9ad53093e7;hpb=5b568f4b96b72663238abc7bbbe00fe708909b8b diff --git a/index.mdwn b/index.mdwn index 40de9d1c..66f40b61 100644 --- a/index.mdwn +++ b/index.mdwn @@ -99,7 +99,7 @@ preloaded is available at [[assignment 3 evaluator]]. > 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]]##