@@ -93,8 +93,8 @@ Cheat sheet:
93 `?:($=(%type value) %tru %false)`. `$=`
93 `?:($=(%type value) %tru %false)`. `$=`
94 ([buctis](../../hoon/twig/buc-mold/tis-coat/)) tests whether value `q` is
94 ([buctis](../../hoon/twig/buc-mold/tis-coat/)) tests whether value `q` is
95 of type `p`.
95 of type `p`.
96− <!--One thing to watch out for in hoon: if you do `?~`, it
96+<!-- One thing to watch out for in hoon: if you do `?~`, it
97− affects the type of the conditional value: XXexample-->
97+ affects the type of the conditional value: XXexample -->
99- `:_` ([colcab](../../hoon/twig/col-cell/cab-scon/)) is inverted `:-`: it
99- `:_` ([colcab](../../hoon/twig/col-cell/cab-scon/)) is inverted `:-`: it
100 accepts `p` and `q`, and produces `[q p]`.
100 accepts `p` and `q`, and produces `[q p]`.
@@ -106,7 +106,8 @@ Cheat sheet:
106- `$%` ([buccen](../../hoon/twig/buc-mold/cen-book/)) is a type
106- `$%` ([buccen](../../hoon/twig/buc-mold/cen-book/)) is a type
107 constructor: it defines a new type, composed of `n` types that it is
107 constructor: it defines a new type, composed of `n` types that it is
108 passed. For example `$% @ * ^ ==` is the type of either `@`,
108 passed. For example `$% @ * ^ ==` is the type of either `@`,
109− `*`, or a cell `^`. <!--XX this is a union, right?-->
110+<!-- XX this is a union, right? -->
111- You may have noticed the separate `|%`
112- You may have noticed the separate `|%`
112 ([barcen](../../hoon/twig/bar-core/cen-core/)) above the application core
113 ([barcen](../../hoon/twig/bar-core/cen-core/)) above the application core