Commit 61a15902 authored by POTTIER Francois's avatar POTTIER Francois

Relative link.

parent 01b571ab
......@@ -198,7 +198,7 @@ available with solutions:
- mid-term exam 2018-2019:
[A simple object encoding](
- final exam 2017-2018:
[Static differentiation](
[Static differentiation](exams/final-2017-2018.pdf)
- mid-term exam 2017-2018:
[Encoding call-by-name into call-by-value; extensible records](
([Coq solution of part 1](coq/LambdaCalculusEncodingCBNIntoCBV.v)).
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