Expose today's slides.

This commit is contained in:
François Pottier 2017-10-20 11:28:57 +02:00
parent aeedf926d4
commit 9db653f644

View file

@ -91,7 +91,8 @@ We also show the limits of dependently-typed functional programming.
([solution](ocaml/EvalCBNCPS.ml)). ([solution](ocaml/EvalCBNCPS.ml)).
* Transforming a graph traversal * Transforming a graph traversal
([solution](ocaml/Graph.ml)). ([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 ### Metatheory of Typed Programming Languages