now 4 chapters have to be written or completed.
You can navigate the book using LibreOffice bookmarks. The book fonts are Liberation only.
The whole OCaml and Coq source code is available (read only).
Add your own comments and modifications to the LibreOffice document.
Then your suggested changes will eventually (if approved) augment the next version.
My plan is to offer the (first complete version of the) book to the OCaml Software Foundation.
Ah! You have an Expression Problem chapter near the end!
BTW, congratulations, the book looks interesting!
I also want to write a curious book about OCaml, it would have an Expression Problem chapter.
Chapter 11 the Expression Problem (I wrote the slides in 2012-2013.)
@lukstafi Thanks for all the lecture material 
A of int * string is a different variant than A of (int * string)
Although i made many things right, there are tons of things like this little one that i missed.
OCaml is tricky, one day someone told me he doesn’t understand
type 'a node = One of 'a | Many of 'a node list
The problem was he believed this is the same type as :
type 'a node = One of 'a | Many of 'a (node list)
Is this book still online somewhere? The links don’t work for me because the security certificates required for an HTTPS connection aren’t properly signed.
As the time i write this it is online here and there.
Don’t worry if it disappears again, i would repost it.
Note that the book doesn’t really contain a chapter dedicated to the expression problem, what it gives is just an introduction to the Code reuse through polymorphic variants paper.