1
1
mirror of https://github.com/urbit/shrub.git synced 2025-01-01 00:51:59 +03:00
shrub/pkg/arvo/mar/spider/stop.hoon

16 lines
192 B
Plaintext

/- *spider
|_ stop=[=tid nice=?]
++ grad %noun
++ grab
|%
++ noun ,[=tid nice=?]
++ json
(ot 'tid'^so 'nice'^bo ~):dejs:format
--
::
++ grow
|%
++ noun stop
--
--