Commit 8d9111b9 by REMY Didier

Removing blank line

parent 828f05db
......@@ -123,7 +123,6 @@ We also show the limits of dependently-typed functional programming.
[(handout)](http://gallium.inria.fr/~remy/mpri/handout4.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.
### Advanced Aspects of Type Systems
......
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