From bfca500a4a9189b3b56e2dc56c280407cfc8c794 Mon Sep 17 00:00:00 2001 From: Chris Martens Date: Sun, 28 Jan 2024 10:31:53 -0500 Subject: [PATCH] website md --- index.md | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 index.md diff --git a/index.md b/index.md new file mode 100644 index 0000000..f77e8dd --- /dev/null +++ b/index.md @@ -0,0 +1,5 @@ +# CM 500: Logical Frameworks + +Welcome to the class! + +Read the [syllabus](syllabus.md).