Add type hint for datetime and missing "to string" conversions (#23)

ls1intum · May 15, 2024 · dbb3396 · dbb3396
1 parent dcb453b
commit dbb3396
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/proposal_template.typ b/proposal_template.typ
@@ -9,8 +9,8 @@
   supervisor: "",
   advisors: (),
   author: "",
-  startDate: none,
-  submissionDate: none,
+  startDate: datetime,
+  submissionDate: datetime,
   body,
 ) = {
   // Set the document's basic properties.

diff --git a/thesis_template.typ b/thesis_template.typ
@@ -6,8 +6,8 @@
   supervisor: "",
   advisors: (),
   author: "",
-  startDate: none,
-  submissionDate: none,
+  startDate: datetime,
+  submissionDate: datetime,
   body,
 ) = {
   set page(

diff --git a/thesis_typ/disclaimer.typ b/thesis_typ/disclaimer.typ
@@ -32,7 +32,7 @@
   grid(
       columns: 2,
       gutter: 1fr,
-      "Munich, " + submissionDate, author
+      "Munich, " + submissionDate.display("[day].[month].[year]"), author
   )
 
   pagebreak()