PhD of Basile Pesin

Basile Pesin worked on the addition of state machines and other control blocks in Vélus. His work is described in his PhD dissertation.

The online version of the compiler was extracted from Coq and compiled to Javascript with js_of_ocaml.

The slides of the defense are now available.