Merge branch 'master' of https://github.com/urbit/urbit

main/pro/user/core.hoon

@@ -0,0 +1,15 @@
+::
+::::  /hoon/core/user/pro
+  ::
+/?  314
+/-  user
+|_  use=user
+::
+++  grab                                                ::  convert from
+  |%
+  ++  noun                                              ::  convert from %noun
+    |=  src=*
+    ^+  +>+
+    +>+(use (user src))
+  --
+--

main/pro/users/core.hoon

@@ -0,0 +1,15 @@
+::
+::::  /hoon/core/users/pro
+  ::
+/?  314
+/-  users
+|_  use=users
+::
+++  grab                                                ::  convert from
+  |%
+  ++  noun                                              ::  convert from %noun
+    |=  src=*
+    ^+  +>+
+    +>+(use (users src))
+  --
+--

main/pro/zing/core.hoon

@@ -0,0 +1,15 @@
+::
+::::  /hoon/core/zing/pro
+  ::
+/?  314
+/-  zing
+|_  zig=zing
+::
+++  grab                                                ::  convert from
+  |%
+  ++  noun                                              ::  convert from %noun
+    |=  src=*
+    ^+  +>+
+    +>+(zig (zing src))
+  --
+--

main/pro/zongs/core.hoon

@@ -0,0 +1,15 @@
+::
+::::  /hoon/core/zing/pro
+  ::
+/?  314
+/-  zong
+|_  zog=(list zong)
+::
+++  grab                                                ::  convert from
+  |%
+  ++  noun                                              ::  convert from %noun
+    |=  src=*
+    ^+  +>+
+    +>+(zog ((list zong) src))
+  --
+--

main/str/user/gate.hoon

@@ -0,0 +1,3 @@
+$%  [%in p=[p=@p q=@t]]
+    [%out q=[p=@p q=@t]]
+==

main/str/users/gate.hoon

@@ -0,0 +1 @@
+(list ,[p=@p q=@t])

main/str/zing/gate.hoon

@@ -0,0 +1,8 @@
+$%  [%backlog p=path q=?(%da %dr %ud) r=@]
+    [%hola p=path]
+    $:  %mess  p=path
+      $=  q
+        $%  [%do p=@t]
+            [%exp p=@t q=tank]
+            [%say p=@t]
+==  ==  ==

main/str/zong/gate.hoon

@@ -1,11 +1,6 @@
-=<  zong
+$%  $:  %mess  p=@da  q=ship
-|%
+      $=  r
-++  mess                                            ::  message
+        $%  [%do p=@t]
-  $%  [%do p=@t]                                    ::  act
+            [%exp p=@t q=tank]
-      [%exp p=@t q=tank]                            ::  code
+            [%say p=@t]
-      [%say p=@t]                                   ::  speak
+==  ==  ==
-  ==
-++  zong
-  $%  [%mess p=@da q=ship r=mess]
-  ==
---