tobast/mpri-funcprog-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

fixing ).

Browse source
This commit is contained in:
REMY Didier 2017-10-29 16:43:39 +01:00
parent 1f4d3ff456
commit bacf138196
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
README.md
View file

@ -108,9 +108,10 @@ We also show the limits of dependently-typed functional programming.
([without](http://gallium.inria.fr/~remy/mpri/slides2a.pdf) or
[only](http://gallium.inria.fr/~remy/mpri/slides2b.pdf)
the extra material;
and [chap 6](http://gallium.inria.fr/~remy/mpri/cours4.pdf)).
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.
* (03/11/2017) Logical relations
(See also [chap ](http://gallium.inria.fr/~remy/mpri/cours6.pdf)).
* (10/11/2017) Subtyping. Rows.
* (17/11/2017) References, Value restriction, Side effects.