Commit 0f0196fc authored by Yann REGIS-GIANAS's avatar Yann REGIS-GIANAS

Support cours 4.

parent 1b91b249
......@@ -150,9 +150,10 @@ The deadline is **Friday, February 16, 2018**.
[Exercises](slides/yrg-02-diy-lambda-calculus-with-subtyping.pdf)
[Answers](slides/yrg-03-diy-lambda-calculus-with-subtyping-answers.pdf)
* (22/12/2017 - 12/01/2018) Dependent types
[GADTs](slides/yrg-04-gadt-metatheory.pdf)
* Modules
[GADTs](slides/yrg-04-gadt-metatheory.pdf),
[Exercises](slides/yrg-05-diy-lambda-pi.pdf)
* Functional correctness
* Modules
* Effects and resources
......
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