X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=66f40b6105fb1655f9cca700e166462657c14884;hp=40de9d1c6347980da0b80872450f35ac48093a03;hb=a89810d44a32600a3cd6288c5357a7eb5bdf5dd3;hpb=4cea4f69242f3a229292186c8fa652942f31f8b8 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]]##