diff --git a/README.md b/README.md index 79fccb3..59498ba 100644 --- a/README.md +++ b/README.md @@ -93,29 +93,29 @@ Although the course has changed, you may still have a look at Previous exams available with solutions: - mid-term exam 2016-2017: - [http://gallium.inria.fr/~remy/mpri/exams/partiel-2016-2017.pdf](Record concatenation) + [(Record concatenation](http://gallium.inria.fr/~remy/mpri/exams/partiel-2016-2017.pdf) - mid-term exam 2015-2016: - [http://gallium.inria.fr/~remy/mpri/exams/partiel-2015-2016.pdf](Type containment) -- final exam 2014-2015: [http://gallium.inria.fr/~remy/mpri/exams/final-2014-2015.pdf {Copatterns}](subject) + [(Type containment](http://gallium.inria.fr/~remy/mpri/exams/partiel-2015-2016.pdf) +- final exam 2014-2015: [(subject](http://gallium.inria.fr/~remy/mpri/exams/final-2014-2015.pdf {Copatterns}) - mid-term exam 2014-2015: - [http://gallium.inria.fr/~remy/mpri/exams/partiel-2014-2015.pdf](Information flow) + [(Information flow](http://gallium.inria.fr/~remy/mpri/exams/partiel-2014-2015.pdf) - final exam 2013-2014: - [http://gallium.inria.fr/~remy/mpri/exams/final-2013-2014.pdf](Operation on records) + [(Operation on records](http://gallium.inria.fr/~remy/mpri/exams/final-2013-2014.pdf) - mid-term exam 2013-2014: - [http://gallium.inria.fr/~remy/mpri/exams/partiel-2013-2014.pdf](Typechecking Effects) + [(Typechecking Effects](http://gallium.inria.fr/~remy/mpri/exams/partiel-2013-2014.pdf) - final exam 2012-2013: - [http://gallium.inria.fr/~remy/mpri/exams/final-2012-2013.pdf](Refinement types) + [(Refinement types](http://gallium.inria.fr/~remy/mpri/exams/final-2012-2013.pdf) - mid-term exam 2012-2013: - [http://gallium.inria.fr/~remy/mpri/exams/partiel-2012-2013.pdf](Variations on ML) + [(Variations on ML](http://gallium.inria.fr/~remy/mpri/exams/partiel-2012-2013.pdf) - final exam 2011-2012: - [http://gallium.inria.fr/~remy/mpri/exams/final-2011-2012.pdf](Intersection types) + [(Intersection types](http://gallium.inria.fr/~remy/mpri/exams/final-2011-2012.pdf) - mid-term exam 2011-2012: - [http://gallium.inria.fr/~remy/mpri/exams/partiel-2011-2012.pdf](Parametricity) + [(Parametricity](http://gallium.inria.fr/~remy/mpri/exams/partiel-2011-2012.pdf) - final exam 2010-2011: - [http://gallium.inria.fr/~xleroy/mpri/2-4/exam-2010-2011.pdf](Compiling a language with subtyping) + [(Compiling a language with subtyping](http://gallium.inria.fr/~xleroy/mpri/2-4/exam-2010-2011.pdf) - mid-term exam 2010-2011: - [http://gallium.inria.fr/~remy/mpri/exams/2010/partiel-2010-2011.pdf](Compilation - of polymorphic records) + [(Compilation + of polymorphic records](http://gallium.inria.fr/~remy/mpri/exams/2010/partiel-2010-2011.pdf) ## Recommended software