ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-11-13 08:38:43 +03:00
Code Issues Packages Projects Releases Wiki Activity

Now back to generating trivial %|.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-11-27 13:10:28 -08:00
parent d3424f9883
commit bcef5881ca
1 changed files with 16 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
arvo/hoon.hoon
View File

@ -1,4 +1,4 @@
!::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
!::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
:::::: :::::: Preface ::::::
:::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
?> ?=(@ .) :: atom subject
@ -83,6 +83,7 @@
u=[p=(a +>-.b) q=[p=(hair -.b) q=(tape +.b)]] ::
++ limb $| term ::
$% [%& p=axis] ::
[%| p=@ud q=(unit term)] ::
[%2 p=@ud q=[~ term]] ::
== ::
++ line ,[p=[%leaf p=odor q=@] q=tile] :: %kelp case
@ -7413,10 +7414,11 @@
|- ^- type
?~ peh
?:(pol (fuse ref) (crop ref))
=> .(i.peh ?^(i.peh i.peh [%2 p=0 q=`i.peh]))
=> .(i.peh ?^(i.peh i.peh [%| p=0 q=`i.peh]))
=+ ^= poz ^- post
?- -.i.peh
& [p.i.peh %& (peek %both p.i.peh)]
| (finq p.i.peh %both +.q.i.peh)
%2 (finq p.i.peh %both +.q.i.peh)
==
|- ^- type
@ -7424,6 +7426,7 @@
?- -.q.poz
0 ?- -.i.peh
& ^$(peh t.peh)
| (face +.q.i.peh ^$(peh t.peh, sut p.q.poz))
%2 (face +.q.i.peh ^$(peh t.peh, sut p.q.poz))
==
1 ^$(peh t.peh)
@ -8851,7 +8854,7 @@
^- port
?~ hyp
[1 %& sut]
=> .(i.hyp ?^(i.hyp i.hyp [%2 p=0 q=`i.hyp]))
=> .(i.hyp ?^(i.hyp i.hyp [%| p=0 q=`i.hyp]))
=+ zar=$(hyp t.hyp)
=+ ^= syp
?- -.q.zar
@ -8861,6 +8864,11 @@
?- i.hyp
[& *]
[(peg p.zar p.i.hyp) %& (peek(sut syp) way p.i.hyp)]
::
[| *]
=> .(sut syp)
=+ hud=(fink p.i.hyp way +.q.i.hyp)
[(peg p.zar p.hud) q.hud]
::
[2 *]
=> .(sut syp)
@ -8894,7 +8902,7 @@
|- ^- [p=axis q=type]
?~ peh
[axe mur]
=> .(i.peh ?^(i.peh i.peh [%| p=0 q=i.peh]))
=> .(i.peh ?^(i.peh i.peh [%| p=0 q=`i.peh]))
?- i.peh
[& *]
=+ ^= sap ^- (unit term)
@ -8905,17 +8913,17 @@
[p.gav ?~(sap heh (face u.sap heh))]
::
[| *]
=+ dob=`post`(need q:(fino p.i.peh %rite q.i.peh))
=+ dob=`post`(need q:(fino p.i.peh %rite +.q.i.peh))
~| [%tack-limb q.i.peh]
?: ?=(%2 -.q.dob)
=+ hoc=(peg axe p.dob)
=+ guh=$(peh t.peh, sut s.p.q.dob, axe (peg hoc r.p.q.dob))
=+ zig=$(peh q.p.q.dob, sut q.q.dob, mur q.guh)
=+ zug=(heal [~ q.i.peh] p.dob (busk(sut q.zig) p.p.q.dob q.p.q.dob))
=+ zug=(heal [~ +.q.i.peh] p.dob (busk(sut q.zig) p.p.q.dob q.p.q.dob))
[p.guh zug]
=+ wuf=(flay (flee dob))
=+ gav=$(peh t.peh, sut q.wuf, axe (peg axe p.wuf))
[p.gav (heal [~ q.i.peh] p.wuf q.gav)]
[p.gav (heal [~ +.q.i.peh] p.wuf q.gav)]
::
[2 *]
=+ dob=`post`(need q:(fino p.i.peh %rite +.q.i.peh))
@ -9950,7 +9958,7 @@
dot
;~ pose
%+ cook
|=([a=(list) b=term] ?~(a b [%2 (lent a) `b]))
|=([a=(list) b=term] ?~(a b [%| (lent a) `b]))
;~(plug (star ket) ;~(pose sym (cold %$ buc)))
::
%+ cook