changeset 2453 | 2f47291b6ff9 |
parent 2452 | 39f8d405d7a2 |
child 2523 | e903c32ec24f |
--- a/README Sun Aug 29 12:14:40 2010 +0800 +++ b/README Sun Aug 29 12:17:25 2010 +0800 @@ -28,4 +28,6 @@ Pearl ... accepted at ITP Pearl-jv ... journal version -Quotient-Paper .. submitted to SAC \ No newline at end of file +Quotient-Paper .. submitted to SAC + +Slides ... various talks Christian gave recently \ No newline at end of file