Some files related to the internship I did in 2018, in the Inria Saclay, about recursive values in OCaml, during my "L3 informatique" in the ENS Lyon.
- notes.txt: contains a bunch of notes in French.
- brouillon.tex: a tex file, containing some notes in English.
- rapport.tex: my "rapport de stage", written in english.
- sources.bib: the bibtex file containing the sources I used for this internship.