ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-22 14:21:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

naive: add gas to ju

Browse Source
This commit is contained in:
yosoyubik 2021-06-24 16:41:44 +02:00
parent 1e7e2e1193
commit e05234c179
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pkg/arvo/lib/std.hoon
View File

@ -759,5 +759,14 @@
^+ a
=+ d=(get b)
(~(put by a) b (~(put in d) c))
:: TODO: remove in favour of only using put?
::
++ gas
|* b=(list [p=* q=*])
=> .(b `(list _?>(?=([[* ^] ^] a) [p=p q=n.q]:n.a))`b)
|- ^+ a
?~ b
a
$(b t.b, a (put p.i.b q.i.b))
--
--