Add Josh class

nuprl · Sep 5, 2024 · 15a4e43 · 15a4e43
1 parent 8cee0b2
commit 15a4e43
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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{}