michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixed tspl course page

Browse source
This commit is contained in:
wadler 2019-10-02 11:48:42 +01:00
parent 3e6d977434
commit 4f7a16befb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
courses/tspl/2019/tspl2019.md
View file

@ -38,7 +38,7 @@ Lectures take place Monday, Wednesday, and Friday in AT 5.07. (Room provisional.
</tr>
<tr>
<td>3</td>
<td><b>30 Oct</b> <a href="{{ site.baseurl }}/Equality/">Equality</a> &amp;
<td><b>30 Sep</b> <a href="{{ site.baseurl }}/Equality/">Equality</a> &amp;
<a href="{{ site.baseurl }}/Isomorphism/">Isomorphism</a></td>
<td><b>2 Oct</b> <a href="{{ site.baseurl }}/Connectives/">Connectives</a></td>
<td><b>4 Oct</b> <a href="{{ site.baseurl }}/Negation/">Negation</a></td>