Guyslain: correcting typos.
Better horizontal alignment of code snipets.
Ocaml mode: function is a keyword.
Abstract: Okasaki didn't invent numerical-representation based lists.
Okasaki didn't invent numerical representations.