Author: Urs Format: MarkdownItexNoticed that this entry remained essentially empty
so I added some paragraphs to the Idea-section.
<a href="https://ncatlab.org/nlab/revision/diff/imperative+programming/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/imperative+programming/5">v5</a>, <a href="https://ncatlab.org/nlab/show/imperative+programming">current</a>
Noticed that this entry remained essentially empty