An OCaml and Type Theory Course: Program = Proof

I am surprised he is getting away with publishing this in english only - there was a time were you had to have french versions of everything at french government institutions, and this definitely is coming from one of those.