From e4ab9ff6180a5a0a8de02e65a75cc29cacc7faf1 Mon Sep 17 00:00:00 2001 From: "Feras A. Saad" Date: Thu, 24 Aug 2023 17:24:30 -0400 Subject: [PATCH] Spacing. --- _data/courses.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/_data/courses.yml b/_data/courses.yml index 94b221d..68e7211 100644 --- a/_data/courses.yml +++ b/_data/courses.yml @@ -29,6 +29,7 @@ - number: 15-424 name: Logical Foundations of Cyber-Physical Systems instructor: Stefan Mitsch + - number: 15-814 name: Types and Programming Languages instructor: Jan Hoffman