Skip to content

Commit

Permalink
Schedule compaction
Browse files Browse the repository at this point in the history
  • Loading branch information
sampsyo committed Apr 15, 2024
1 parent 905f729 commit 314ca2c
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 7 deletions.
11 changes: 6 additions & 5 deletions src/content.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -180,6 +180,12 @@
topic: Linear Types
links:
notes: lecture30.pdf
-
topic: Synthesis
links:
notes: 'https://www.cs.cornell.edu/~asampson/blog/minisynth.html'
-
topic: Special Topic
-
topic: Higher-Kinded Types
links:
Expand All @@ -188,8 +194,3 @@
topic: Dependent Types
links:
notes: lecture32.pdf
-
topic: Synthesis
links:
notes: 'https://www.cs.cornell.edu/~asampson/blog/minisynth.html'

2 changes: 0 additions & 2 deletions src/schedule.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -66,8 +66,6 @@
mon: true
assignments: A8 due 4/14
- date: April 17
event: Prelim Review
normal: true
- date: April 19
event: Preliminary Exam II
- date: April 22
Expand Down

0 comments on commit 314ca2c

Please sign in to comment.