various updates (#1048)

plfa · Oct 12, 2024 · 7aadc35 · 7aadc35
1 parent b270472
commit 7aadc35
Show file tree

Hide file tree

Showing 3 changed files with 522 additions and 9 deletions.
diff --git a/courses/TSPL/2024/Assignment1.lagda.md b/courses/TSPL/2024/Assignment1.lagda.md
@@ -37,6 +37,15 @@ any such work on a public repository then you must set access
 permissions appropriately (generally permitting access only to
 yourself). Do not publish solutions to the coursework.
 
+## Deadline and late policy
+
+The deadline and late policy for this assignment are specified on
+Learn in the "Coursework Planner". There are no extensions and
+no ETAs. Coursework is marked best three out of four. Guidance
+on late submissions is at
+
+> [https://web.inf.ed.ac.uk/node/4533](https://web.inf.ed.ac.uk/node/4533)
+
 
 ## Naturals