diff --git a/teaching/2024/cs522/CS522-Spring-2024-Maude-HW1.zip b/teaching/2024/cs522/CS522-Spring-2024-Maude-HW1.zip new file mode 100644 index 0000000..a7ecda8 Binary files /dev/null and b/teaching/2024/cs522/CS522-Spring-2024-Maude-HW1.zip differ