Looks good, but... what's the version I'm to read? The first one or the second one? They seem like different versions of the same document... Since the table of contents is close to being the same it looks confusing.
Looks like the first one is in C++ and the second one in OCaml . Second one it will be then :)