Merge branch 'dish' of https://github.com/urbit/urbit into dish

2024-12-15 01:52:42 +03:00 · 2014-10-23 21:16:13 +00:00 · 2014-10-23 21:16:13 +00:00 · 561cf104ca
commit 561cf104ca
parent 8840aa0d51 73db5c6c6b
1 changed files with 2 additions and 2 deletions
--- a/arvo/hoon.hoon
+++ b/arvo/hoon.hoon
@ -3045,7 +3045,7 @@
    [?:(=('~' i.t.b) '~' ?>(=('-' i.t.b) '_')) $(b t.t.b)]
  [i.b $(b t.b)]
 ::
-++  woad                                                ::  span format
++  woad                                                ::  cord format
  |=  a=@ta
  ^-  @t
  %+  rap  3
@ -3078,7 +3078,7 @@
    %'~'  ['~' $(a c)]
  ==
 ::
-++  wood                                                ::  span format
++  wood                                                ::  cord format
  |=  a=@t
  ^-  @ta
  %+  rap  3