From d45f0cc0ea107a65dc9c542b110560650c623a06 Mon Sep 17 00:00:00 2001 From: Justin Alpine Hsu Date: Wed, 29 Mar 2023 23:35:53 -0400 Subject: [PATCH] Archive 6117 locally. --- content/about.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/about.md b/content/about.md index ccae184..5767e55 100644 --- a/content/about.md +++ b/content/about.md @@ -46,7 +46,7 @@ differential privacy to optimization, machine learning, and mechanism design. ## Teaching ## - **Data Structures and Functional Programming (CS 3110)**: [S23](https://www.cs.cornell.edu/courses/cs3110/2023sp/) [S22](https://www.cs.cornell.edu/courses/cs3110/2022sp/) -- **Category Theory for Computer Scientists (CS 6117)**: [F22](https://www.cs.cornell.edu/courses/cs6117/2022fa/) +- **Category Theory for Computer Scientists (CS 6117)**: [F22](teaching/f22/cs6117) - **Foundations of Probabilistic Programming (CS 6182)**: [F21](teaching/f21/cs6182) - **Reasoning about Probabilistic Programs**
**Invited Course at [OPLSS 2021](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php)**: