From 15a4e43f5f5b98c1455a9e50ae99011dd5c77ad0 Mon Sep 17 00:00:00 2001
From: gancherj <jgancher@andrew.cmu.edu>
Date: Thu, 5 Sep 2024 17:07:21 -0400
Subject: [PATCH] Add Josh class

---
 teaching.rkt | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/teaching.rkt b/teaching.rkt
index 477b9d13..9b3d25d1 100644
--- a/teaching.rkt
+++ b/teaching.rkt
@@ -114,6 +114,12 @@
                  }
                  @li{
                    @strong{7480} Special Topics in Programming Languages
+                   @br{}
+                   @indent{} F 2024 Formal Security for Cryptography @a[href:
+                                                                         "https://gancher.dev/CS7480_Fall2024/class.html"
+                                                                         target:
+                                                                         "_blank"]{link}
+@instructor{Joshua Gancher}
                    @br{}
                    @indent{} S 2024 @instructor{Olin Shivers}
                    @br{}