mirror of
https://github.com/urbit/shrub.git
synced 2024-12-15 21:03:10 +03:00
16 lines
303 B
Plaintext
16 lines
303 B
Plaintext
::
|
|
:::: /hoon/core/zing/pro
|
|
::
|
|
/? 314
|
|
/- ticket-args
|
|
|_ arg=ticket-args
|
|
::
|
|
++ grab :: convert from
|
|
|%
|
|
++ noun :: convert from %noun
|
|
|= src=*
|
|
^+ +>+
|
|
+>+(arg (ticket-args src))
|
|
--
|
|
--
|