Author: Richard Williamson Format: MarkdownItexTweak of figure CSS and correction of a couple of typos.
<a href="https://ncatlab.org/nlab/history/show/HaPPY+code/6">v6</a>, <a href="https://ncatlab.org/nlab/show/HaPPY+code">current</a>
Tweak of figure CSS and correction of a couple of typos.