From 82da14e650b3360a4d440fec113c7c73afe7eaff Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Tue, 28 Nov 2023 10:29:48 -0600 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 8ddf50a..9ecef6f 100644 --- a/teaching/2023/cs422/index.md +++ b/teaching/2023/cs422/index.md @@ -149,7 +149,7 @@ Note: See the [private-members](https://github.com/kframework/k/tree/master/k-di - [FUN untyped](https://kframework.org/k-distribution/pl-tutorial/) (Part 9 of the K Tutorial, without the type inferencer). Click [here](https://github.com/kframework/k/tree/master/k-distribution/pl-tutorial/2_languages/3_fun) to see the code on GitHub. --- -HW5 (due date: Tuesday, December 5, AoE) +HW6 (due date: Tuesday, December 5, AoE) ***Exercise 1 (10 points):*** Add a `let*` construct to environment-based FUN. `let*` has the same syntax as `let`, but it applies the bindings in the order in which they are given. For example, the program `let* x=1 and y=x in y` is well defined and evaluates to `1`, but it would be undefined if we replaced `let*` with `let`.