From 64fdc2ce01af1334985ede9db9a5d61c3eefa8b2 Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Thu, 8 Feb 2024 10:31:35 -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 441f045..0e11c29 100644 --- a/teaching/2024/cs522/index.md +++ b/teaching/2024/cs522/index.md @@ -72,5 +72,5 @@ need* and more topics will be added. paper, by modifying [the provided Maude code for HW2](CS522-Spring-2024-Maude-HW2.zip)). -- [Book material on IMP++: Challenging Big-Step SOS, Small-Step SOS, and +- (not needed for HW2) [Book material on IMP++: Challenging Big-Step SOS, Small-Step SOS, and Denotational Semantics](CS522-Spring-2024-IMP++.pdf)