4 ms·
An OCaml and Type Theory Course: Program = Proof
- laurentoget 4y agoI 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.