@@ -393,27 +393,6 @@ Produces one of these depending on the value of `number`:
393<p><b>12345 </b>is an <b>odd </b>number.</p>
393<p><b>12345 </b>is an <b>odd </b>number.</p>
398−The [micfas rune](/docs/hoon/reference/rune/mic#-micfas) turns an ordinary tape
399−into a `$manx`. For example:
402−> %- en-xml:html ;/ "foobar"
406−In order to nest it inside another Sail element, it must be preceeded with a
407−`;+` rune or similar, it cannot be used directly. For example:
411− ;+ ;/ ?: =(0 (mod eny 2))
417### `;*` Mictar
396### `;*` Mictar
419The [mictar rune](/docs/hoon/reference/rune/mic#-mictar) makes a `$marl` (a list
398The [mictar rune](/docs/hoon/reference/rune/mic#-mictar) makes a `$marl` (a list
@@ -465,6 +444,27 @@ For example:
465&lt;/main>
444&lt;/main>
466</pre></td></tr></tbody></table>
445</pre></td></tr></tbody></table>
449+The [micfas rune](/docs/hoon/reference/rune/mic#-micfas) turns an ordinary tape
450+into a `$manx`. For example:
453+> %- en-xml:html ;/ "foobar"
457+In order to nest it inside another Sail element, it must be preceeded with a
458+`;+` rune or similar, it cannot be used directly. For example:
462+ ;+ ;/ ?: =(0 (mod eny 2))
468## Good examples
468## Good examples
470Here's a couple of agents that make use of Sail, which you can use as a
470Here's a couple of agents that make use of Sail, which you can use as a