From 318919da17d8c58b858abe492058328f57147ce8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Fri, 6 Oct 2017 12:33:23 +0200
Subject: [PATCH] Link to today's slides.

---
 README.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 83aa5a1..aafe38e 100644
--- a/README.md
+++ b/README.md
@@ -78,7 +78,10 @@ We also show the limits of dependently-typed functional programming.
   ([slides 02](slides/fpottier-02.pdf))
   ([OCaml code](ocaml/Lambda.ml))
   ([Coq repo](coq/)).
-* (06/10/2017) Compiling away first-class functions: closure conversion, defunctionalization.
+* (06/10/2017) Compiling away first-class functions:
+  closure conversion, defunctionalization
+  ([slides 03](slides/fpottier-03.pdf))
+  ([Coq repo](coq/)).
 * (13/10/2017) Compiling away the call stack: the CPS transformation.
 * (20/10/2017) Equational reasoning and program optimizations.