mirror of
https://github.com/urbit/shrub.git
synced 2024-12-14 20:02:51 +03:00
16 lines
286 B
Plaintext
16 lines
286 B
Plaintext
::
|
|
:::: /hoon/core/users/pro
|
|
::
|
|
/? 314
|
|
/- users
|
|
|_ use=users
|
|
::
|
|
++ grab :: convert from
|
|
|%
|
|
++ noun :: convert from %noun
|
|
|= src=*
|
|
^+ +>+
|
|
+>+(use (users src))
|
|
--
|
|
--
|