From 5398f718543162b091da6850d1efc3ce9040cbc7 Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Tue, 19 Sep 2023 11:22:28 -0500 Subject: [PATCH] Update index.md --- teaching/2023/cs422/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/teaching/2023/cs422/index.md b/teaching/2023/cs422/index.md index d6bd63c..3eac13c 100644 --- a/teaching/2023/cs422/index.md +++ b/teaching/2023/cs422/index.md @@ -57,7 +57,7 @@ The links below provide you with useful material for this class, including compl - [K Overview]({{site.baseurl}}/assets/CS422-K-Overview.pdf) paper to learn more about K. Sections 1 and 2 (the other sections are optional now; they are covered below) --- -HW2 (due date: Tuesday September 26, AoE) +HW2 (due date: Tuesday, September 26, AoE) ***Exercise 1 (10 points):*** The current K LAMBDA semantics of mu (in Lesson 8) is based on substitution, and then letrec is defined as a derived operation using mu. Give mu a different semantics, as a derived construct by translation into other LAMBDA constructs, like we defined letrec in Lesson 7. To test it, use the same definition of letrec in terms of mu (from Lesson 8) and write 3 recursive programs, like the provided factorial-letrec.lambda.