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

Merge commit 'fb67085' into relearning

Browse Source
This commit is contained in:
C. Guy Yarvin 2016-09-02 15:03:29 -07:00
commit 5234493de6
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
arvo/hoon.hoon
View File

@ -6424,11 +6424,9 @@
|%
++ burn
=+ gil=*(set span)
~_ leaf+"burn"
%- need
|- ^- (unit)
?- sut
{$atom *} `?~(q.sut 0 u.q.sut)
{$atom *} q.sut
{$cell *} %+ biff $(sut p.sut)
|=(* (biff ^$(sut q.sut) |=(* `[+>+< +<])))
{$core *} (biff $(sut p.sut) |=(* `[p.r.q.sut +<]))
@ -6445,7 +6443,7 @@
{$hold *} ?: (~(has in gil) sut)
~
$(sut repo, gil (~(put in gil) sut))
$noun `0
$noun ~
$void ~
==
::
@ -7177,8 +7175,11 @@
{$zinc *} =+(vat=$(gen p.gen) [(wrap(sut p.vat) %zinc) q.vat])
{$burn *}
=+ nef=$(gen p.gen)
=+ moc=(mink [burn q.nef] |=({* *} ~))
[p.nef ?:(?=($0 -.moc) [%1 p.moc] q.nef)]
:- p.nef
=+ cag=burn
?~ cag q.nef
=+ moc=(mink [u.cag q.nef] |=({* *} ~))
?:(?=($0 -.moc) [%1 p.moc] q.nef)
::
{$name *} =+(vat=$(gen q.gen) [(conk(sut p.vat) p.gen) q.vat])
{$tune *} [(face p.gen sut) [%0 %1]]