@@ -20,8 +20,8 @@ consume `tape`s, which are lists of `char`.
2020
2121 > *char
2222 ''
23−
24− > (char 97)
23+
24+ > `@tD`97
2525 'a'
2626
2727
@@ -41,16 +41,19 @@ atom of UTF-8 text.
4141#### Examples
4242
4343
44+ > *cord
45+ ''
46+
4447 > `@ux`'foobar'
4548 0x7261.626f.6f66
4649
47− > (cord 97)
50+ > `@t`97
4851 'a'
4952
5053 > `@`'urbit'
5154 499.984.265.845
5255
53− > (cord 499.984.265.845)
56+ > `@t`499.984.265.845
5457 'urbit'
5558
5659
@@ -79,6 +82,9 @@ which is a day atom and a time.
7982
8083#### Examples
8184
85+ > *date
86+ [[a=%.y y=0] m=0 t=[d=0 h=0 m=0 s=0 f=~]]
87+
8288 > `date`(yore ~2014.6.6..21.09.15..0a16)
8389 [[a=%.y y=2.014] m=6 t=[d=6 h=21 m=9 s=15 f=~[0xa16]]]
8490
@@ -104,11 +110,13 @@ An atom type that only permits ASCII characters.
104110
105111#### Examples
106112
107− > (knot 105)
113+ > *knot
114+ ~.
115+
116+ > `@ta`105
108117 ~.i
109118
110119
111−
112120***
113121### `++tang`
114122
@@ -123,6 +131,9 @@ traces.
123131
124132#### Examples
125133
134+ > *tang
135+ ~
136+
126137 > (~(win re [%palm ["1" "2" "3" "4"] [%leaf "foobar"] [%leaf "bazbud"] [%leaf "zzzzzzqaaa"] ~]) 0 50)
127138 <<"23foobar1bazbud1zzzzzzqaaa4">>
128139
@@ -162,6 +173,8 @@ without back-steps at new lines.
162173
163174#### Examples
164175
176+ > *tank
177+ [%rose p=[p="" q="" r=""] q=~]
165178
166179 > (wash [0 80] >(bex 20) (bex 19)<) :: at 80 cols
167180 <<"[1.048.576 524.288]">>
@@ -201,6 +214,9 @@ One of Hoon's two string types, the other being `++cord`. A tape is a list of
201214
202215#### Examples
203216
217+ > *tape
218+ ""
219+
204220 > `tape`"foobar"
205221 "foobar"
206222
@@ -290,6 +306,9 @@ A list of `cord`s. A `wain` is used instead of a single `cord` with `\n`.
290306
291307#### Examples
292308
309+ > *wain
310+ <||>
311+
293312 > `wain`/som/del/rok
294313 <|som del rok|>
295314
@@ -307,7 +326,9 @@ A list of `tape`s. `wall` is used instead of a single `tape` with `\n`.
307326
308327#### Examples
309328
310−
329+ > *wall
330+ <<>>
331+
311332 > `wall`(wash [0 20] leaf+<(bex 256)>)
312333 <<
313334 "\\/115.792.089.237.\\/"