From 30711abb961e82818ca5d3f1905d5fa86e3cc6c0 Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Tue, 7 Nov 2023 10:30:31 -0600 Subject: [PATCH] Update index.md --- teaching/2023/cs422/index.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/teaching/2023/cs422/index.md b/teaching/2023/cs422/index.md index 98b1b76..760a7e7 100644 --- a/teaching/2023/cs422/index.md +++ b/teaching/2023/cs422/index.md @@ -121,6 +121,12 @@ Note: See the [no-duplicate-declarations](https://github.com/kframework/k/tree/m For each of the problems, also provide one test program which should succeed and one which should fail. You will get two extra-points if any of your tests break everybody's definition (except potentially yours). If you handle more than one succeeding and one failing test, then I will randomly choose one of each. +--- +- ***KOOL: Designing Object-Oriented Programming Languages*** + - [KOOL untyped, statically typed, and dynamically typed](https://kframework.org/k-distribution/pl-tutorial) (Part 8 of the K Tutorial). Click [here](https://github.com/kframework/k/tree/master/k-distribution/pl-tutorial/2_languages/2_kool) to see the code on GitHub. + + +--- --- ... more to come ... ---