diff --git a/teaching/2024/cs522/index.md b/teaching/2024/cs522/index.md index 89d28a0..7b54a0a 100644 --- a/teaching/2024/cs522/index.md +++ b/teaching/2024/cs522/index.md @@ -52,7 +52,7 @@ need* and more topics will be added. - [slides](CS522-Spring-2024-Maude.pdf) - recommended only for a quick look - [Book material](CS522-Spring-2024-Maude-book.pdf) - recommended -- ### HW1 (due Thursday, September 16) {#hw1} +- ### HW1 (due Thursday, February 1st, AoE) {#hw1} The following exercises are from the book material above. Do them only in Maude (that is, *not* on paper) by modifying [the provided Maude code for