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

Change of topic for lesson 4

Browse source
This commit is contained in:
REMY Didier 2017-11-09 22:45:38 +01:00
parent a76342ee27
commit 828f05db8b
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -118,10 +118,10 @@ We also show the limits of dependently-typed functional programming.
([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.
* (10/11/2017)
* (10/11/2017) ~~Subtyping. Rows.~~
[Overloading](http://gallium.inria.fr/~remy/mpri/slides4.pdf)
[(handout)](http://gallium.inria.fr/~remy/mpri/handout4.pdf)
(see also [chap 7](http://gallium.inria.fr/~remy/mpri/slides5.pdf)
(see also [chap 7](http://gallium.inria.fr/~remy/mpri/cours5.pdf)
of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)).
* (17/11/2017) References, Value restriction, Side effects.