X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week2.mdwn;h=992c8c8975efd62467f72b8e7c6458460f004135;hp=80f3946591d78ea0c7a0b6021e9614292a8e6194;hb=600b9e54be61643b0d85021bfbfbd575f47b0d17;hpb=4556367eaeb7208a675bc17158418acc013149f6 diff --git a/week2.mdwn b/week2.mdwn index 80f39465..992c8c89 100644 --- a/week2.mdwn +++ b/week2.mdwn @@ -48,7 +48,7 @@ Here's more to read about combinatorial logic: -Evaluation strategies and Normalization +Evaluation Strategies and Normalization ======================================= In the assignment we asked you to reduce various expressions until it wasn't possible to reduce them any further. For two of those expressions, this was impossible to do. One of them was this: