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

Merge branch 'pr' into release/next-sys

Browse Source
This commit is contained in:
Philip Monk 2020-11-17 19:00:09 -08:00
commit 08ebacd430
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
1 changed files with 7 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkg/arvo/sys/hoon.hoon
View File

@ -9766,18 +9766,7 @@
^- (pair type type)
(~(mull et hyp rig) gol dox)
::
++ felt
~/ %felt
|= lap/opal
^- type
?- -.lap
%& p.lap
%| %- fork
%+ turn ~(tap in q.lap)
|= [a=type *]
?> ?=([%core *] a)
[%core q.q.a q.a]
==
++ felt !!
:: ::
++ feel :: detect existence
|= rot/(list wing)
@ -9826,7 +9815,12 @@
==
::
%&
=. sut (felt q.p.mor)
=. sut
=* lap q.p.mor
?- -.lap
%& p.lap
%| (fork (turn ~(tap in q.lap) head))
==
=> :_ +
:* axe=`axis`1
lon=p.p.mor