Commit dc254b64 authored by Yann REGIS-GIANAS's avatar Yann REGIS-GIANAS

YRG missing slides.

parent 53ed90c8
......@@ -152,11 +152,9 @@ The deadline is **Friday, February 16, 2018**.
* (22/12/2017 - 12/01/2018) Dependent types
[GADTs](slides/yrg-04-gadt-metatheory.pdf),
[Exercises](slides/yrg-05-diy-lambda-pi.pdf)
* Functional correctness
* Modules
* (19/01/2018) [Functional correctness](slides/yrg-06-functional-correctness.pdf)
* Effects and resources
### Dependently-typed Functional Programming
* [Guidelines](agda/Index.lagda.rst)
......
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