Commit 0f340ed1 authored by REMY Didier's avatar REMY Didier

lecture 3

parent aee8182a
......@@ -111,7 +111,7 @@ We also show the limits of dependently-typed functional programming.
the extra material;
and [chap 6](http://gallium.inria.fr/~remy/mpri/cours4.pdf)
of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)).
* (03/11/2017) [Logical relations](http://gallium.inria.fr/~remy/mpri/slides2.pdf)
* (03/11/2017) [Logical relations](http://gallium.inria.fr/~remy/mpri/slides3.pdf)
([chap 8](http://gallium.inria.fr/~remy/mpri/cours6.pdf)
of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)).
* (10/11/2017) Subtyping. Rows.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment