A pretty printing algorithm

A pretty printing algorithm which works for strict languages with an example implementation in ocaml.