diff --git a/index.xml b/index.xml index 1f19889..4cdda89 100644 --- a/index.xml +++ b/index.xml @@ -102,7 +102,7 @@ <tr> <td><a href="#feb-2">Feb. 2</a></td> <td>Joe Cutler</td> -<td><em>TBD</em></td> +<td>delta: ordered types for stream processing</td> </tr> <tr> diff --git a/lsd-seminar/2024wi/index.html b/lsd-seminar/2024wi/index.html index 24c7b12..4d5b906 100644 --- a/lsd-seminar/2024wi/index.html +++ b/lsd-seminar/2024wi/index.html @@ -241,7 +241,7 @@

Languages, Systems, and Data Seminar (Winter 2024)

Feb. 2 Joe Cutler -TBD +delta: ordered types for stream processing diff --git a/themes/academic b/themes/academic deleted file mode 160000 index 8d596ff..0000000 --- a/themes/academic +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 8d596ffed2d080010c561679cf4e9b4da1554781