diff --git a/arvo/eyre.hoon b/arvo/eyre.hoon index 2341166af..9d39556db 100644 --- a/arvo/eyre.hoon +++ b/arvo/eyre.hoon @@ -230,7 +230,7 @@ =+ ^= wol |- ^- wall ?~ tac ~ - (weld (~(win re i.tac) 0 120) $(tac t.tac)) + (weld `wall`[~(ram re i.tac) ~] $(tac t.tac)) =+ ^= tax |- ^- (list manx) (turn wol |=(a=tape [/p ;"{a}"])) @@ -1260,7 +1260,7 @@ |= [for=logo toe=tube] ^- seam :^ %fun for - toe(s (weld s.toe `path`[~(rent co (flux [nep ~] quy)) %web ~])) + toe(s (weld s.toe `path`[%web ~(rent co (flux [nep ~] quy)) ~])) ?. won ~ :_ ~ =- =+ pey=(cat 3 (end 3 2 nep) %v) diff --git a/main/doc/fancy/down.hoon b/main/doc/fancy/down.hoon new file mode 100644 index 000000000..4c200af5a --- /dev/null +++ b/main/doc/fancy/down.hoon @@ -0,0 +1,35 @@ +!: +:::::: /hoon/down/synth/doc +:: + => +:::::: models +|% +++ down + $& [p=down q=down] + $% [%$ p=tape] + [%code p=tape] + [%inco p=tape] + [%head p=@ud q=down] + [%link p=tape q=tape r=(unit tape)] + [%lord p=(list down)] + [%lund p=(list down)] + [%parg p=down] + [%quot p=down] + [%rong p=down] + [%emph p=down] + [%hrul ~] + [%html p=tape] + == +-- +:::::: generator +:: +%- (fest /fancy/doc %) +|= pic=epic +=+ unt=|=(a=cord (biff (~(get by qix.pic) a) |=(b=cord (slaw %ud b)))) +~! unt +=+ moo=(both (unt %foo) (unt %bar)) +?~ moo [%$ "Hello, world: usage: url?foo=x&bar=y"] +:* [%$ "Hello, "] + [%emph %$ "world"] + [%$ ": {<-.u.moo>} plus {<+.u.moo>} is {<(add u.moo)>}."] +== diff --git a/main/doc/synth/down.hook b/main/doc/synth/down.hook new file mode 100644 index 000000000..5510f02ce --- /dev/null +++ b/main/doc/synth/down.hook @@ -0,0 +1,7 @@ +!: +:::::: /hook/down/synth/doc +:: +%- (folk /down/synth/doc %) +|= [bem=beam but=path] +:+ %ride [%reef ~] +[%drag bem but]