home.md

 * [Frontend design](frontend)
 * [Codegen design](codegen)
 * [Specification extraction](extraction)TODO
+* [Ocaml cheat sheet](ocaml)