From 70ac2a5d4268b59a84493239d0d068575ed8aec0 Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Tue, 1 Oct 2024 07:31:05 -0500 Subject: [PATCH] Update index.md --- teaching/2024/cs422/index.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/teaching/2024/cs422/index.md b/teaching/2024/cs422/index.md index 2552ce8..bc74ffd 100644 --- a/teaching/2024/cs422/index.md +++ b/teaching/2024/cs422/index.md @@ -54,6 +54,11 @@ The links below provide you with useful material for this class, including compl - [K Tutorial, Section 2: Intermediate K Concept](https://kframework.org/k-distribution/k-tutorial/2_intermediate/) - [K User Manual](https://kframework.org/docs/user_manual/) +--- +HW2 (due date: Tuesday, Oct 8th, AoE) + +Do the exercises in the K Tutorial. They are spread through the lessons in Section 1, as well as in Section 2.1 (the other lessons are not finished yet). Create a github repo, possibly as a clone of the K tutorial, and add the exercises there in the appropriate folders using any naming convention you prefer. When done, give me access to view your repo and send me an email to confirm that I have access. My github ID is `grosu`. + --- - ***PL Tutorial*** (coming soon -- links below may be broken)