diff --git a/src/content.yaml b/src/content.yaml index 1b06b4d..528ef63 100644 --- a/src/content.yaml +++ b/src/content.yaml @@ -48,7 +48,12 @@ slides: slides07.pdf notes: lecture07.pdf - - topic: Denotational Semantics Examples + topic: More Denotations + links: + same slides: slides07.pdf + same notes: lecture07.pdf +- + topic: Denotational Semantics Proofs links: slides: slides08.pdf notes: lecture08.pdf diff --git a/src/schedule.yaml b/src/schedule.yaml index cdb0c94..0bd8647 100644 --- a/src/schedule.yaml +++ b/src/schedule.yaml @@ -30,9 +30,6 @@ - date: March 4 mon: true assignments: A4 due 3/3 -- date: March 6 - event: Prelim Review - normal: true - date: March 8 event: Preliminary Exam I - date: March 11