add link to Carlo's B619 course

wonks · Nov 1, 2023 · ba2830c · ba2830c
1 parent 93ead0e
commit ba2830c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/courses.html b/courses.html
@@ -28,7 +28,7 @@ <h1 class="page-heading">Courses</h1>
     </li>
     <li>CSCI B619: Special Topics in Applied Logic
       <ul>
-        <li>Spring 2024: Modern Dependent Types (Carlo Angiuli)</li>
+        <li><a href="https://www.carloangiuli.com/courses/b619-sp24/">Spring 2024: Modern Dependent Types (Carlo Angiuli)</a></li>
       </ul>
     <li>CSCI B629: Special Topics in Programming Languages
       <ul>