From 9db653f6440b1fa597fd12270fc1bccb6a07a682 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Fri, 20 Oct 2017 11:28:57 +0200
Subject: [PATCH] Expose today's slides.

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 00bcbd5..7e35712 100644
--- a/README.md
+++ b/README.md
@@ -91,7 +91,8 @@ We also show the limits of dependently-typed functional programming.
     ([solution](ocaml/EvalCBNCPS.ml)).
   * Transforming a graph traversal
     ([solution](ocaml/Graph.ml)).
-* (20/10/2017) Equational reasoning and program optimizations.
+* (20/10/2017) Equational reasoning and program optimizations
+  ([slides 05](slides/fpottier-05.pdf)).
 
 ### Metatheory of Typed Programming Languages