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

Added deadline for optional project

Browse source
This commit is contained in:
Philip Wadler 2019-10-03 10:31:03 +01:00
parent d0597244e4
commit 97cbdb15af
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -140,6 +140,8 @@ part of it in Agda. I suggest formalising the paper
[here](http://homepages.inf.ed.ac.uk/wadler/topics/blame.html#coercions), [here](http://homepages.inf.ed.ac.uk/wadler/topics/blame.html#coercions),
but talk to me if you want to formalise something else. but talk to me if you want to formalise something else.
* Optional project cw6 due 4pm Thursday 28 November (Week 11)
<!-- <!--