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)