Author: DavidRoberts Format: MarkdownItexFixed link that had open angle bracket in markdown `<....>` replaced by `<`.
<a href="https://ncatlab.org/nlab/revision/diff/code+loop/9">diff</a>, <a href="https://ncatlab.org/nlab/revision/code+loop/9">v9</a>, <a href="https://ncatlab.org/nlab/show/code+loop">current</a>
Fixed link that had open angle bracket in markdown <....> replaced by <.