add ocaml to home authored by Laurent Prosperi's avatar Laurent Prosperi
* [Frontend design](frontend)
* [Codegen design](codegen)
* [Specification extraction](extraction)TODO
* [Ocaml cheat sheet](ocaml)