update headers for tspl schedule (#1054)

plfa · Oct 24, 2024 · 99f82e7 · 99f82e7
1 parent 0925e52
commit 99f82e7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/courses/TSPL/2024/Assignment1.lagda.md b/courses/TSPL/2024/Assignment1.lagda.md
@@ -349,6 +349,8 @@ module Relations where
   open import Data.Nat.Properties
     using (≤-refl; ≤-trans; ≤-antisym; ≤-total;
            +-monoʳ-≤; +-monoˡ-≤; +-mono-≤)
+
+  open import plfa.part1.Relations hiding (_≤_; z≤n; s≤s)
 ```
 
 

diff --git a/courses/TSPL/2024/tspl.md b/courses/TSPL/2024/tspl.md
@@ -46,9 +46,9 @@ Lectures on Tuesday and Thursday are immediately followed by a tutorial.
 <thead>
  <tr>
   <th scope="col">Week</th>
-  <th scope="col">Mon</th>
+  <th scope="col">Tue</th>
   <th scope="col">Wed</th>
-  <th scope="col">Fri<th>
+  <th scope="col">Thu<th>
  </tr>
 </thead>
 <tbody>