Skip to content

Three small documentation patches.

Simon Peyton Jones requested to merge wip/spj-wibbles into master

See the three commit messages

Merge request reports