Skip to content

Commit

Permalink
update page
Browse files Browse the repository at this point in the history
  • Loading branch information
Ranjit Jhala committed Jan 25, 2024
1 parent a4a1611 commit 9e77885
Show file tree
Hide file tree
Showing 4 changed files with 8 additions and 16 deletions.
18 changes: 6 additions & 12 deletions docs/lectures.html
Original file line number Diff line number Diff line change
Expand Up @@ -249,37 +249,31 @@ <h1>Lecture Notes</h1>
<tr class="even">
<td style="text-align: center;">1/11</td>
<td style="text-align: left;">The Lambda Calculus</td>
<td style="text-align: left;"><a href="lectures/01-lambda.html">html</a></td>
<td style="text-align: left;"><a href="lectures/01-lambda.html">html</a> <a href="./static/raw/01-lambda.pdf">pdf</a></td>
</tr>
<tr class="odd">
<td style="text-align: center;">1/13</td>
<td style="text-align: left;">contd.</td>
<td style="text-align: left;"></td>
<td style="text-align: center;">1/25</td>
<td style="text-align: left;">A crash course in Haskell</td>
<td style="text-align: left;"><a href="lectures/02-haskell.html">html</a></td>
</tr>
<tr class="even">
<td style="text-align: center;">1/15</td>
<td style="text-align: left;">contd.</td>
<td style="text-align: left;"></td>
</tr>
<tr class="odd">
<td style="text-align: center;">1/30</td>
<td style="text-align: left;"><strong>Midterm I</strong></td>
<td style="text-align: left;"></td>
</tr>
<tr class="even">
<tr class="odd">
<td style="text-align: center;">2/22</td>
<td style="text-align: left;"><strong>Midterm II</strong></td>
<td style="text-align: left;"></td>
</tr>
<tr class="odd">
<tr class="even">
<td style="text-align: center;">3/19</td>
<td style="text-align: left;"><strong>Final</strong></td>
<td style="text-align: left;"></td>
</tr>
</tbody>
</table>
<!--
| 1/13 | A crash course in Haskell | [html][lec2] [pdf][pdf2] |
| 1/18 | contd. | |
| 1/20 | contd. | |
| 1/27 | Datatypes & Recursion | [html][lec3] [pdf][pdf3] |
Expand Down
Binary file modified docs/static/raw/01-lambda.pdf
Binary file not shown.
6 changes: 2 additions & 4 deletions lectures.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,16 +8,14 @@ The live-edited code for each lecture can be found [here][code].
| **Date** | **Topic** | **Notes** |
|:----------:|:---------------------------|:--------------------------|
| 1/9 | Hello, World! | [html][lec0] |
| 1/11 | The Lambda Calculus | [html][lec1] |
| 1/13 | contd. | |
| 1/15 | contd. | |
| 1/11 | The Lambda Calculus | [html][lec1] [pdf][pdf1] |
| 1/25 | A crash course in Haskell | [html][lec2] |
| 1/30 | **Midterm I** | |
| 2/22 | **Midterm II** | |
| 3/19 | **Final** | |


<!--
| 1/13 | A crash course in Haskell | [html][lec2] [pdf][pdf2] |
| 1/18 | contd. | |
| 1/20 | contd. | |
| 1/27 | Datatypes & Recursion | [html][lec3] [pdf][pdf3] |
Expand Down
Binary file modified static/raw/01-lambda.pdf
Binary file not shown.

0 comments on commit 9e77885

Please sign in to comment.