ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-17 20:01:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Eliminated ++reco.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-12-26 04:54:42 -05:00
parent 2c1fbd3eb2
commit 35aa34fca9
1 changed files with 15 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
arvo/hoon.hoon
View File

@ -352,6 +352,18 @@
{$10 p/$@(@ {p/@ q/nock}) q/nock} :: hint
{$11 p/nock} :: grab data from sky
== ::
++ span $@ $? $noun :: any nouns
$void :: no noun
== ::
$% {$atom p/term} :: number and format
{$bull p/twin q/type} :: alias
{$cell p/type q/type} :: ordered pair
{$core p/type q/coil} :: object
{$cube p/* q/type} :: constant
{$face p/term q/type} :: name
{$fork p/type q/type} :: union
{$hold p/(list {p/type q/twig})} :: lazy evaluation
== ::
++ tone $% {$0 p/*} :: success
{$1 p/(list)} :: blocks
{$2 p/(list {@ta *})} :: error ~_s
@ -7472,9 +7484,9 @@
{$hold *}
?: (~(has in bix) [sut ref])
~|(%crop-loop !!)
(reco |=(a/type dext(sut a, bix (~(put in bix) [sut ref]))))
dext(sut repo, bix (~(put in bix) [sut ref]))
::
$noun (reco |=(a/type dext(sut a)))
$noun dext(sut repo)
$void %void
==
::
@ -8157,7 +8169,7 @@
{$hold *}
?: (~(has in bix) [sut ref])
~|(%fuse-loop !!)
(reco |=(a/type ^$(sut a, bix (~(put in bix) [sut ref]))))
$(sut repo, bix (~(put in bix) [sut ref]))
::
$noun ref
$void %void
@ -8786,14 +8798,6 @@
$(gen doz)
==
::
++ reco
|* fuy/_|=(p/type p)
=+ por=repo
=+ yot=(fuy por)
?: =(yot por)
?:(=(%void por) por sut)
yot
::
++ repo
^- type
?- sut