Skip to content

Commit

Permalink
update page
Browse files Browse the repository at this point in the history
  • Loading branch information
Ranjit Jhala committed Nov 16, 2023
1 parent 1d34bd9 commit e213546
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 1 deletion.
2 changes: 1 addition & 1 deletion docs/lectures.html
Original file line number Diff line number Diff line change
Expand Up @@ -339,7 +339,7 @@ <h2 id="topics-notes-and-code">Topics, Notes and Code</h2>
<tr class="odd">
<td style="text-align: center;"><em>11/16</em></td>
<td style="text-align: left;">Property-based Testing</td>
<td style="text-align: left;">[html][14-testing]</td>
<td style="text-align: left;"><a href="lectures/14-testing.html">html</a></td>
<td style="text-align: left;"></td>
<td style="text-align: left;"><a href="https://github.com/ucsd-cse230/fa23/tree/main/static/code/src/lec_11_16_23.hs">code</a></td>
</tr>
Expand Down
3 changes: 3 additions & 0 deletions lectures.md
Original file line number Diff line number Diff line change
Expand Up @@ -59,6 +59,9 @@ The lectures will be recorded and available on [CANVAS](https://canvas.ucsd.edu/
[10-state]: lectures/10-state.html
[11-parsers]: lectures/11-parsers.html

[13-transformers]: lectures/13-transformers.html
[14-testing]: lectures/14-testing.html

[01-pdf]: static/raw/01-lambda.pdf
[02-pdf]: static/raw/02-basic.pdf
[03-pdf]: static/raw/03-adt.pdf
Expand Down

0 comments on commit e213546

Please sign in to comment.