From 876e59269056228560f5a5e241a8a43cc9c49e9e Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Thu, 25 Jan 2024 10:49:22 -0600 Subject: [PATCH] Update index.md --- teaching/2024/cs522/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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