diff --git a/teaching/2024/cs522/CS522-Spring-2024-IMP++.pdf b/teaching/2024/cs522/CS522-Spring-2024-IMP++.pdf new file mode 100644 index 0000000..82b7f27 Binary files /dev/null and b/teaching/2024/cs522/CS522-Spring-2024-IMP++.pdf differ diff --git a/teaching/2024/cs522/CS522-Spring-2024-Maude-HW2.zip b/teaching/2024/cs522/CS522-Spring-2024-Maude-HW2.zip new file mode 100644 index 0000000..01f4e8f Binary files /dev/null and b/teaching/2024/cs522/CS522-Spring-2024-Maude-HW2.zip differ