urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-03 10:02:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Devulcanized, double solid, twigs not yet cleaned up.

Browse Source
This commit is contained in:
C. Guy Yarvin 2016-01-04 16:01:37 -08:00
parent 1a28e52405
commit 526548ceec
12 changed files with 227 additions and 21237 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ape/dojo.hoon
View File

@ -309,7 +309,7 @@
=: p.src num
q.src bul
==
[src +>.$(num +(num), job (~(put by job) src))]
[src +>.$(num +(num), job (~(put by job) -.src +.src))]
::
++ dy-init-source-unit :: (unit dojo-source)
|= urc/(unit dojo-source)
@ -480,7 +480,7 @@
$http
?> ?=($mime p.cay)
=+ mim=;;(mime q.q.cay)
=+ maf=(~(add ja *math) content-span+(moon p.mim))
=+ maf=(~(add ja *math) %content-span (moon p.mim))
(dy-eyre /show [q.p.mad p.p.mad maf ~ q.mim])
::
$show

2
ape/hood.hoon
View File

@ -103,8 +103,6 @@
++ poke-helm-reload-desk (wrap poke-reload-desk):from-helm
++ poke-helm-reset (wrap poke-reset):from-helm
++ poke-helm-deset (wrap poke-deset):from-helm
++ poke-helm-deone (wrap poke-deone):from-helm
++ poke-helm-detwo (wrap poke-detwo):from-helm
++ poke-helm-send-hi (wrap poke-send-hi):from-helm
++ poke-helm-send-ask (wrap poke-send-ask):from-helm
++ poke-helm-verb (wrap poke-verb):from-helm

4
ape/talk.hoon
View File

@ -394,7 +394,7 @@
=+ grams=grams:(~(got by stories) man.she)
|- ^- (unit (set partner))
?~ grams ~
=+ pan=(silt (turn :_(head (~(tap by q.q.i.grams)))))
=+ pan=(silt (turn (~(tap by q.q.i.grams)) head))
?: (~(has in lax) pan) `pan
$(grams t.grams)
::
@ -2017,7 +2017,7 @@
:+ '/' '_'
=+ hok=r.p.p.p.sep
~! hok
=- (swag [(sub (max 64 (lent -)) 64) 64] -)
=- (swag [a=(sub (max 64 (lent -)) 64) b=64] -)
^- tape
=< ?:(?=($& -.hok) (reel p.hok .) +:(scow %if p.hok))
|=({a/knot b/tape} ?~(b (trip a) (welp b '.' (trip a))))

34
arvo/clay.hoon
View File

@ -1137,22 +1137,24 @@
++ mabe :: maybe fire function
|= {rov/rove fun/$+(@da _.)}
^+ +>.$
%- fall :_ +>.$
%- bind :_ fun
^- (unit @da)
?- -.rov
$sing
?. ?=($da -.q.p.rov) ~
`p.q.p.rov
::
$next ~
$many
%+ hunt
?. ?=($da -.p.q.rov) ~
?.((lth now p.p.q.rov) ~ [~ p.p.q.rov])
?. ?=($da -.q.q.rov) ~
?.((lth now p.q.q.rov) [~ now] [~ p.q.q.rov])
==
%+ fall
%+ bind
^- (unit @da)
?- -.rov
$sing
?. ?=($da -.q.p.rov) ~
`p.q.p.rov
::
$next ~
$many
%+ hunt
?. ?=($da -.p.q.rov) ~
?.((lth now p.p.q.rov) ~ [~ p.p.q.rov])
?. ?=($da -.q.q.rov) ~
?.((lth now p.q.q.rov) [~ now] [~ p.q.q.rov])
==
fun
+>.$
::
++ reve
|= rov/rove

4
arvo/eyre.hoon
View File

@ -152,9 +152,9 @@
++ eat-headers
|= hed/(list {p/@t q/@t}) ^- math
%+ roll hed
|= {a/{p/cord cord} b/math}
|= {a/{p/cord q/cord} b/math}
=. p.a (cass (trip p.a))
(~(add ja b) a)
(~(add ja b) p.a q.a)
::
++ fcgi :: credential caboose
|= {quy/quay ced/cred} ^- coin

32
arvo/ford.hoon
View File

@ -654,11 +654,11 @@
=< hood
|%
++ case
%- sear
:_ nuck:so
|= a/coin
?. ?=({$$ ?($da $ud $tas) *} a) ~
[~ u=(^case a)]
%+ sear
|= a/coin
?. ?=({$$ ?($da $ud $tas) *} a) ~
[~ u=(^case a)]
nuck:so
::
++ hath (sear plex:vez (stag %clsg poor:vez)) :: hood path
++ have (sear tome ;~(pfix fas hath)) :: hood beam
@ -764,14 +764,14 @@
::
++ man
%+ rail fail
%- sear
:_ ;~(sfix (star ;~(pfix gap apex)) ;~(plug gap duz))
|= fan/(list ^horn)
=| naf/(list (pair term ^horn))
|- ^- (unit (map term ^horn))
?~ fan (some (~(gas by *(map term ^horn)) naf))
?. ?=($dub -.i.fan) ~
$(fan t.fan, naf [[p.i.fan q.i.fan] naf])
%+ sear
|= fan/(list ^horn)
=| naf/(list (pair term ^horn))
|- ^- (unit (map term ^horn))
?~ fan (some (~(gas by *(map term ^horn)) naf))
?. ?=($dub -.i.fan) ~
$(fan t.fan, naf [[p.i.fan q.i.fan] naf])
;~(sfix (star ;~(pfix gap apex)) ;~(plug gap duz))
::
++ saw
%+ rail
@ -953,7 +953,7 @@
++ marks
=< (cope (laze cof bem) (flux .))
|= a/(map mark ?) ^- (list mark)
(turn :_(head (skip :_(tail (~(tap by a)))))) :: | = %hook
(turn (skip (~(tap by a)) tail) head)
::
++ look
|= {cof/cafe hok/(list mark)} ^- (bolt _done)
@ -1865,12 +1865,12 @@
:~ =< cache+[%| (turn `(list term)`/hood/bake/lilt/slit/slim/slap/slam .)]
=- |=(a/term [a %& (~(get ja dep) a)])
=< `dep/(jar term *)`(~(rep by jav) .)
|=({{* a/{term *}} b/(jar term *)} (~(add ja b) a))
|=({{* a/{term *}} b/(jar term *)} (~(add ja b) -.a +.a))
::
=< depends+[%| (turn `(list term)`/init/sent/done .)]
=- |=(a/term [a %& (~(get ja dep) a)])
=< `dep/(jar term *)`(~(rep by deh) .)
|=({{@ a/{term *}} b/(jar term *)} (~(add ja b) a))
|=({{@ a/{term *}} b/(jar term *)} (~(add ja b) -.a +.a))
::
tasks+[%& dym tad]
==

257
arvo/hoon.hoon
View File

@ -2375,7 +2375,7 @@
|- ^+ a
?~ b
a
=+ c=(bif(+< a) n.b)
=+ c=(bif n.b)
?> ?=(^ c)
=+ d=$(a l.c, b l.b)
=+ e=$(a r.c, b r.b)
@ -2402,7 +2402,7 @@
|- ^+ a
?~ b
a
$(b t.b, a (put(+< a) i.b))
$(b t.b, a (put i.b))
::
+- has :: b exists in a check
~/ %has
@ -2429,8 +2429,8 @@
?: =(n.b n.a)
[n.a $(a l.a, b l.b) $(a r.a, b r.b)]
?: (hor n.b n.a)
%- uni(+< $(a l.a, b [n.b l.b ~])) $(b r.b)
%- uni(+< $(a r.a, b [n.b ~ r.b])) $(b l.b)
%- uni(a $(a l.a, b [n.b l.b ~])) $(b r.b)
%- uni(a $(a r.a, b [n.b ~ r.b])) $(b l.b)
::
+- put :: puts b in a, sorted
~/ %put
@ -2511,7 +2511,7 @@
::
+- add :: adds key-list pair
|* {b/* c/*}
=+ d=(get(+< a) b)
=+ d=(get b)
(~(put by a) b [c d])
--
::
@ -2520,7 +2520,7 @@
+- del :: del key-set pair
|* {b/* c/*}
^+ a
=+ d=(get(+< a) b)
=+ d=(get b)
=+ e=(~(del in d) c)
?~ e
(~(del by a) b)
@ -2532,7 +2532,7 @@
|- ^+ a
?~ b
a
$(b t.b, a (put(+< a) p.i.b q.i.b))
$(b t.b, a (put p.i.b q.i.b))
::
+- get :: gets set by key
|* b/*
@ -2542,12 +2542,12 @@
+- has :: existence check
|* {b/* c/*}
^- ?
(~(has in (get(+< a) b)) c)
(~(has in (get b)) c)
::
+- put :: add key-set pair
|* {b/* c/*}
^+ a
=+ d=(get(+< a) b)
=+ d=(get b)
(~(put by a) b (~(put in d) c))
--
::
@ -2613,7 +2613,7 @@
|- ^+ a
?~ b
a
=+ c=(bif(+< a) n.b)
=+ c=(bif n.b)
?> ?=(^ c)
=+ d=$(a l.c, b l.b)
=+ e=$(a r.c, b r.b)
@ -2641,7 +2641,7 @@
|- ^+ a
?~ b
a
$(b t.b, a (put(+< a) p.i.b q.i.b))
$(b t.b, a (put p.i.b q.i.b))
::
+- get :: grab value by key
~/ %get
@ -2657,13 +2657,12 @@
::
+- got
|* b/*
%- need
%- get(+< a) b
(need (get b))
::
+- has :: key existence check
~/ %has
|* b/*
!=(~ (get(+< a) b))
!=(~ (get b))
::
+- int :: intersection
~/ %int
@ -2677,13 +2676,13 @@
?: =(p.n.b p.n.a)
[n.b $(a l.a, b l.b) $(a r.a, b r.b)]
?: (gor p.n.b p.n.a)
%- uni(+< $(a l.a, b [n.b l.b ~])) $(b r.b)
%- uni(+< $(a r.a, b [n.b ~ r.b])) $(b l.b)
%- uni(a $(a l.a, b [n.b l.b ~])) $(b r.b)
%- uni(a $(a r.a, b [n.b ~ r.b])) $(b l.b)
?: =(p.n.a p.n.b)
[n.b $(b l.b, a l.a) $(b r.b, a r.a)]
?: (gor p.n.a p.n.b)
%- uni(+< $(b l.b, a [n.a l.a ~])) $(a r.a)
%- uni(+< $(b r.b, a [n.a ~ r.a])) $(a l.a)
%- uni(a $(b l.b, a [n.a l.a ~])) $(a r.a)
%- uni(a $(b r.b, a [n.a ~ r.a])) $(a l.a)
::
+- mar :: add with validation
|* {b/_?>(?=(^ a) p.n.a) c/(unit _?>(?=(^ a) q.n.a))}
@ -2795,7 +2794,7 @@
+- gas :: insert list to que
|= b/(list _?>(?=(^ a) n.a))
|- ^+ a
?~(b a $(b t.b, a (put(+< a) i.b)))
?~(b a $(b t.b, a (put i.b)))
::
+- get :: head-tail pair
|- ^+ ?>(?=(^ a) [p=n.a q=*(qeu _n.a)])
@ -2812,15 +2811,15 @@
+- nap :: removes head
?> ?=(^ a)
?: =(~ l.a) r.a
=+ b=get(+< l.a)
bal(+< ^+(a [p.b q.b r.a]))
=+ b=get(a l.a)
bal(a ^+(a [p.b q.b r.a]))
::
+- put :: insert new tail
|* b/*
|- ^+ a
?~ a
[b ~ ~]
bal(+< a(l $(a l.a)))
bal(a a(l $(a l.a)))
::
+- tap :: adds list to end
|= b/(list _?>(?=(^ a) n.a))
@ -3168,19 +3167,19 @@
[(last p.vex p.wag) [~ (raq p.u.q.vex p.u.q.wag) q.u.q.wag]]
::
++ stun :: parse several times
|* {{les/@ mos/@} fel/rule}
|* {lig/{@ @} fel/rule}
|= tub/nail
^- (like (list _(wonk (fel))))
?: =(0 mos)
?: =(0 +.lig)
[p.tub [~ ~ tub]]
=+ vex=(fel tub)
?~ q.vex
?: =(0 les)
?: =(0 -.lig)
[p.vex [~ ~ tub]]
vex
=+ ^= wag %= $
les ?:(=(0 les) 0 (dec les))
mos ?:(=(0 mos) 0 (dec mos))
-.lig ?:(=(0 -.lig) 0 (dec -.lig))
+.lig ?:(=(0 +.lig) 0 (dec +.lig))
tub q.u.q.vex
==
?~ q.wag
@ -3210,6 +3209,7 @@
|* raq/_|*({a/* b/*} [a b]) :: arbitrary compose
~/ %fun
|* {vex/edge sab/rule}
~! +<
?~ q.vex
vex
=+ yit=(sab q.u.q.vex)
@ -3291,8 +3291,11 @@
;~(pose (cold %& (jest sic)) (cold %| (jest non)))
::
++ ifix
|* {fel/{p/rule q/rule} hof/rule}
;~(pfix p.fel ;~(sfix hof q.fel))
|* {fel/{rule rule} hof/rule}
~! +<
~! +<:-.fel
~! +<:+.fel
;~(pfix -.fel ;~(sfix hof +.fel))
::
++ more
|* {bus/rule fel/rule}
@ -3371,7 +3374,7 @@
==
++ gaw (cold ~ (star ;~(pose vul gah))) :: classic white
++ gay ;~(pose gap (easy ~)) ::
++ vul %- cold :- ~ :: comments
++ vul %+ cold ~ :: comments
;~ plug col col
(star prn)
(just `@`10)
@ -6487,6 +6490,7 @@
::
++ noah |=(vax/vase (pave vax)) :: $+(vase tape) for /<
++ onan |=(vix/vise (seer vix)) :: $+(vise vase) for !>
::
++ rain :: parse with % path
|= {bon/path txt/@}
^- twig
@ -6519,7 +6523,7 @@
=+ :- ^= typ ^- span
[%cell p.gat p.sam]
^= gen ^- twig
[%cnsq [%$ ~] [%$ 2] [%$ 3] ~]
[%cnsg [%$ ~] [%$ 2] [%$ 3] ~]
=+ gun=(~(mint ut typ) %noun gen)
[p.gun .*([q.gat q.sam] q.gun)]
::
@ -6530,7 +6534,7 @@
++ slit :: span of slam
|= {gat/span sam/span}
?> (~(nest ut (~(peek ut gat) %free 6)) & sam)
(~(play ut [%cell gat sam]) [%cnsq [%$ ~] [%$ 2] [%$ 3] ~])
(~(play ut [%cell gat sam]) [%cnsg [%$ ~] [%$ 2] [%$ 3] ~])
::
++ slym :: slam w+o sample-span
|= {gat/vase sam/*} ^- vase
@ -6871,7 +6875,7 @@
{$herb *}
=+ cys=~(boil ap p.sec)
?: ?=($herb -.cys)
[%cnhp (home p.sec) [%$ axe] ~]
[%cnhx (home p.sec) [%$ axe] ~]
$(sec cys)
::
{$kelp *}
@ -6927,6 +6931,28 @@
* ~
==
::
++ hail
|= axe/axis
=| air/(list (pair wing twig))
|- ^+ air
=+ hav=half
?~ hav [[[[%| 0 ~] [%& axe] ~] gen] air]
$(gen p.u.hav, axe (peg axe 2), air $(gen q.u.hav, axe (peg axe 3)))
::
++ half
|- ^- (unit (pair twig twig))
?+ gen ~
{^ *} `[p.gen q.gen]
{$dbug *} $(gen q.gen)
{$clcb *} `[q.gen p.gen]
{$clcn *} `[[%clsg p.gen] [%bust %null]]
{$clhp *} `[p.gen q.gen]
{$clkt *} `[p.gen %clls q.gen r.gen s.gen]
{$clsg *} ?~(p.gen ~ `[i.p.gen %clsg t.p.gen])
{$cltr *} ?~ p.gen ~
?~(t.p.gen $(gen i.p.gen) `[i.p.gen %cltr t.p.gen])
==
::
++ hock
|- ^- toga
?- gen
@ -7033,9 +7059,9 @@
::
{$leaf *} ~(clam al boil)
{$limb *} [%cnts [p.gen ~] ~]
{$tell *} [%cnhp [%limb %noah] [%zpgr [%cltr p.gen]] ~]
{$tell *} [%cnhx [%limb %noah] [%zpgr [%cltr p.gen]] ~]
{$wing *} [%cnts p.gen ~]
{$yell *} [%cnhp [%limb %cain] [%zpgr [%cltr p.gen]] ~]
{$yell *} [%cnhx [%limb %cain] [%zpgr [%cltr p.gen]] ~]
::
{$bcpt *} ~(clam al boil)
{$bccb *} ~(clam al boil)
@ -7067,7 +7093,7 @@
{$brhp *} [%tsgl [%limb %$] [%brdt p.gen]]
{$brhx *} :+ %tsls [%cnbc p.gen]
[%brcn (~(put by *(map term foot)) %$ [%elm q.gen])]
{$brtr *} [%brfs p.gen (~(put by *(map term foot)) %$ [%elm q.gen])]
{$brtr *} [%brcb p.gen (~(put by *(map term foot)) %$ [%elm q.gen])]
{$brts *} [%brcb p.gen (~(put by *(map term foot)) %$ [%ash q.gen])]
{$brwt *} [%ktwt %brdt p.gen]
::
@ -7092,12 +7118,12 @@
::
{$cnbc *} [%ktsg ~(bunt al %herb p.gen)]
{$cncb *} [%ktls [%wing p.gen] %cnts p.gen q.gen]
{$cndt *} [%cnhp q.gen [p.gen ~]]
{$cnkt *} [%cnhp p.gen q.gen r.gen s.gen ~]
{$cnls *} [%cnhp p.gen q.gen r.gen ~]
{$cndt *} [%cnhx q.gen [p.gen ~]]
{$cnkt *} [%cnhx p.gen q.gen r.gen s.gen ~]
{$cnls *} [%cnhx p.gen q.gen r.gen ~]
{$cnhx *} [%cnsg [%$ ~] p.gen q.gen]
{$cnhp *}
?~(q.gen [%tsgr p.gen [%limb %$]] [%cnsq [%$ ~] p.gen q.gen])
?~(q.gen [%tsgr p.gen [%limb %$]] [%cnsg [%$ ~] p.gen q.gen])
::
{$cnsq *}
?~ r.gen
@ -7122,14 +7148,14 @@
(weld p.gen `wing`[[%& 2] ~])
(turn r.gen |=({p/wing q/twig} [p [%tsgr [%$ 3] q]]))
::
{$ktdt *} [%ktls [%cnhp p.gen q.gen ~] q.gen]
{$ktdt *} [%ktls [%cnhx p.gen q.gen ~] q.gen]
{$kthp *} [%ktls ~(bunt al [%herb p.gen]) q.gen]
{$sgbr *}
:+ %sggr
:- %mean
=+ fek=~(feck ap p.gen)
?^ fek [%rock %tas u.fek]
[%brdt [%cnhp [%limb %cain] [%zpgr [%tsgr [%$ 3] p.gen]] ~]]
[%brdt [%cnhx [%limb %cain] [%zpgr [%tsgr [%$ 3] p.gen]] ~]]
q.gen
::
{$sgcb *} [%sggr [%mean [%brdt p.gen]] q.gen]
@ -7153,7 +7179,7 @@
{$sgls *} [%sggr [%memo %rock %$ p.gen] q.gen]
{$sgpm *}
:+ %sggr
[%slog [%sand %$ p.gen] [%cnhp [%limb %cain] [%zpgr q.gen] ~]]
[%slog [%sand %$ p.gen] [%cnhx [%limb %cain] [%zpgr q.gen] ~]]
r.gen
::
{$sgts *} [%sggr [%germ p.gen] q.gen]
@ -7174,7 +7200,7 @@
|- ^- twig
?- yex
{* $~} [%tsgr [%$ 3] i.yex]
{* ^} [%cnhp [%$ 2] [%tsgr [%$ 3] i.yex] $(yex t.yex) ~]
{* ^} [%cnhx [%$ 2] [%tsgr [%$ 3] i.yex] $(yex t.yex) ~]
$~ !!
==
==
@ -7200,7 +7226,7 @@
:- %brdt :: |.
:^ %cnls :: %+
[%tsgr [%limb %v] p.gen] :: =>(v {p.gen})
[%cnhp [%limb %b] [%limb %c] ~] :: (b c)
[%cnhx [%limb %b] [%limb %c] ~] :: (b c)
:+ %cnts [%a ~] :: a(,.+6 c)
[[[[%| 0 ~] [%& 6] ~] [%limb %c]] ~] ::
== ::
@ -7211,7 +7237,7 @@
[%tsgr [%limb %v] p.gen] :: =>(v {p.gen})
:+ %tsls [%ktts %b [%tsgr [%limb %v] q.gen]] :: =+ b==>(v {q.gen})
:+ %tsls :: =+ c=(a b)
[%ktts %c [%cnhp [%limb %a] [%limb %b] ~]] ::
[%ktts %c [%cnhx [%limb %a] [%limb %b] ~]] ::
[%wtgr [%dtts [%limb %c] [%limb %b]] [%limb %c]] :: ?>(=(c b) c)
::
{$tsbr *}
@ -7275,7 +7301,7 @@
{$wtsg *} [%wtcl [%wtts [%base %null] p.gen] q.gen r.gen]
{$wtzp *} [%wtcl p.gen [%rock %f 1] [%rock %f 0]]
{$zpgr *}
[%cnhp [%limb %onan] [%zpsm [%cnbc [%limb %abel]] p.gen] ~]
[%cnhx [%limb %onan] [%zpsm [%cnbc [%limb %abel]] p.gen] ~]
::
{$zpwt *}
?: ?: ?=(@ p.gen)
@ -8790,7 +8816,7 @@
++ glam ~+((glue ace))
++ hasp ;~ pose
(ifix [sel ser] wide)
(stag %cnhp (ifix [pel per] (most ace wide)))
(stag %cnhx (ifix [pel per] (most ace wide)))
(stag %sand (stag %t qut))
%+ cook
|=(a/coin [%sand ?:(?=({$~ $tas *} a) %tas %ta) ~(rent co a)])
@ -8917,12 +8943,12 @@
|= tol/? =| lin/?
|%
++ ape :: product twig
%- cook
:_ amp
|= tum/tuna ^- twig
?: ?=({$e *} tum)
[p.tum (sag q.tum)]
(sag tum ~)
%+ cook
|= tum/tuna ^- twig
?: ?=({$e *} tum)
[p.tum (sag q.tum)]
(sag tum ~)
amp
::
++ amp :: entry point
;~(pfix sem ?:(tol bam bat))
@ -8987,7 +9013,7 @@
%. |=(e/(list tank) [%knit ~(ram re %rose [" " `~] e)])
=< ~(run by f:(reel b .))
|= {e/{p/term q/term} f/(jar twig tank)}
(~(add ja f) [[%rock %tas p.e] [%leaf (trip q.e)]])
(~(add ja f) [%rock %tas p.e] [%leaf (trip q.e)])
;~ plug
fry
=- (star ;~(plug - sym))
@ -9141,7 +9167,7 @@
:^ %wtsg sug
[%cnts sug [[[[%& 1] ~] [%$ 13]] ~]]
[%cnts sug [[[[%& 3] ~] [%cnts [%$ ~] [[sug [%$ 25]] ~]]] ~]]
$d [[%cnhp p.i.lut [%cltr $(lut t.lut)] ~] ~]
$d [[%cnhx p.i.lut [%cltr $(lut t.lut)] ~] ~]
$e [[p.i.lut ^$(lut [[%f q.i.lut] ~])] $(lut t.lut)]
$f $(lut (weld p.i.lut t.lut))
==
@ -9196,7 +9222,7 @@
:- '\''
(stag %sand (stag %t qut))
:- '('
(stag %cnhp (ifix [pel per] (most ace wide)))
(stag %cnhx (ifix [pel per] (most ace wide)))
:- '#'
;~(pfix hax (stag %cnhx (ifix [pel per] (most ace wide))))
:- '{'
@ -9295,7 +9321,7 @@
;~ pose
(stag %clsg (ifix [sel ser] (most ace wide)))
::
%+ stag %cnsq
%+ stag %cnsg
%+ ifix
[pel per]
;~(glam rope wide (most ace wide))
@ -9347,11 +9373,11 @@
['%' (rune cen %brcn expe)]
[':' (rune col %brcl expb)]
['.' (rune dot %brdt expa)]
['/' (rune fas %brfs expr)]
['/' (rune fas %brcb expr)]
['-' (rune hep %brhp expa)]
['^' (rune ket %brkt expr)]
['+' (rune lus %brls expb)]
['*' (rune tar %brtr expb)]
['*' (rune tar %brhx expb)]
['#' (rune hax %brhx expb)]
['=' (rune tis %brts expb)]
['?' (rune wut %brwt expa)]
@ -9379,8 +9405,8 @@
['.' (rune dot %cndt expb)]
['^' (rune ket %cnkt expd)]
['+' (rune lus %cnls expc)]
['-' (rune hep %cnhp expk)]
['~' (rune sig %cnsq expu)]
['-' (rune hep %cnhx expk)]
['~' (rune sig %cnsg expu)]
['*' (rune tar %cntr expm)]
['=' (rune tis %cnts exph)]
==
@ -10112,14 +10138,14 @@
=^ vax p.sew (~(slot wa p.sew) 2 tiv) ::
=^ hip p.sew (~(nest wa p.sew) typ.vil p.vax) ::
?. hip ~ :: vase head is span
%- biff ::
:_ |=(a/(pair milt worm) `[[%| p.a] q.a]) :: milt to mill
=+ mut=(milt q.tiv) :: card span, value
|- ^- (unit (pair milt worm)) ::
?. ?=({$meta p/* q/milt} q.mut) `[mut p.sew] :: ordinary metacard
=^ hip p.sew (~(nets wa p.sew) mev.vil p.mut) ::
?. hip ~ :: meta-metacard
$(mut +.q.mut) :: descend into meta
%+ biff ::
=+ mut=(milt q.tiv) :: card span, value
|- ^- (unit (pair milt worm)) ::
?. ?=({$meta p/* q/milt} q.mut) `[mut p.sew] :: ordinary metacard
=^ hip p.sew (~(nets wa p.sew) mev.vil p.mut)::
?. hip ~ :: meta-metacard
$(mut +.q.mut) :: descend into meta
|=(a/(pair milt worm) `[[%| p.a] q.a]) :: milt to mill
::
++ sump :: vase to move
~/ %sump
@ -10127,51 +10153,52 @@
^- (unit (pair move worm))
%+ biff ((soft duct) -.q.wec)
|= a/duct
%- bind :_ |=(b/(pair arvo worm) [`move`[a p.b] q.b])
=- ?- -.har
$| ~& [%dead-card p.har] ~ :: XX properly log?
$& (some p.har)
==
^= har ^- (each (pair arvo worm) term)
=^ caq p.sew (~(spot wa p.sew) 3 wec)
?+ q.caq [%| (cat 3 %funk (@tas q.caq))]
::
{$pass p/* q/@tas r/{p/@tas q/*}}
%- (bond |.([%| p.r.q.caq]))
%+ biff ((soft @) q.q.caq)
|= lal/@tas
?. ((sane %tas) lal) ~
%+ biff ((soft path) p.q.caq)
|= pax/path
=^ yav p.sew (~(spot wa p.sew) 15 caq)
%+ bind (song yav)
|= {hil/mill vel/worm}
[%& [%pass pax lal hil] vel]
::
{$give p/{p/@tas q/*}}
%- (bond |.([%| p.p.q.caq]))
=^ yav p.sew (~(spot wa p.sew) 3 caq)
%+ bind (song yav)
|= {hil/mill vel/worm}
[%& [%give hil] vel]
::
{$sick p/{p/@tas q/*}}
%- (bond |.([%| p.p.q.caq]))
=^ yav p.sew (~(spot wa p.sew) 3 caq)
%+ bind (song yav)
|= {hil/mill vel/worm}
[%& [%sick hil] vel]
::
{$slip p/@tas q/{p/@tas q/*}}
%- (bond |.([%| p.q.q.caq]))
%+ biff ((soft @) p.q.caq)
|= lal/@tas
?. ((sane %tas) lal) ~
=^ yav p.sew (~(spot wa p.sew) 7 caq)
%+ bind (song yav)
|= {hil/mill vel/worm}
[%& [%slip lal hil] vel]
==
%+ bind
=- ?- -.har
$| ~& [%dead-card p.har] ~ :: XX properly log?
$& (some p.har)
==
^= har ^- (each (pair arvo worm) term)
=^ caq p.sew (~(spot wa p.sew) 3 wec)
?+ q.caq [%| (cat 3 %funk (@tas q.caq))]
::
{$pass p/* q/@tas r/{p/@tas q/*}}
%- (bond |.([%| p.r.q.caq]))
%+ biff ((soft @) q.q.caq)
|= lal/@tas
?. ((sane %tas) lal) ~
%+ biff ((soft path) p.q.caq)
|= pax/path
=^ yav p.sew (~(spot wa p.sew) 15 caq)
%+ bind (song yav)
|= {hil/mill vel/worm}
[%& [%pass pax lal hil] vel]
::
{$give p/{p/@tas q/*}}
%- (bond |.([%| p.p.q.caq]))
=^ yav p.sew (~(spot wa p.sew) 3 caq)
%+ bind (song yav)
|= {hil/mill vel/worm}
[%& [%give hil] vel]
::
{$sick p/{p/@tas q/*}}
%- (bond |.([%| p.p.q.caq]))
=^ yav p.sew (~(spot wa p.sew) 3 caq)
%+ bind (song yav)
|= {hil/mill vel/worm}
[%& [%sick hil] vel]
::
{$slip p/@tas q/{p/@tas q/*}}
%- (bond |.([%| p.q.q.caq]))
%+ biff ((soft @) p.q.caq)
|= lal/@tas
?. ((sane %tas) lal) ~
=^ yav p.sew (~(spot wa p.sew) 7 caq)
%+ bind (song yav)
|= {hil/mill vel/worm}
[%& [%slip lal hil] vel]
==
|=(b/(pair arvo worm) [`move`[a p.b] q.b])
::
++ said :: vase to (list move)
|= vud/vase

10529
arvo/one.hoon
View File

File diff suppressed because it is too large Load Diff

10529
arvo/two.hoon
View File

File diff suppressed because it is too large Load Diff

12
gen/hood/deone.hoon
View File

@ -1,12 +0,0 @@
::
:::: /hoon/deset/hood/gen
::
/? 314
::
::::
!:
:- %say
|= $: {now/@da eny/@uvI bec/beak}
{arg/$~ $~}
==
[%helm-deone ~]

12
gen/hood/detwo.hoon
View File

@ -1,12 +0,0 @@
::
:::: /hoon/deset/hood/gen
::
/? 314
::
::::
!:
:- %say
|= $: {now/@da eny/@uvI bec/beak}
{arg/$~ $~}
==
[%helm-detwo ~]

45
gen/xolid.hoon Normal file
View File

@ -0,0 +1,45 @@
::
:::: /hoon+xolid+gen
::
/? 314
::
::::
!:
:- %say
|= $: {now/@da eny/@uvI bec/beak}
{$~ $~}
==
:- %noun
=+ top=`path`/(scot %p p.bec)/[q.bec]/(scot %da now)/arvo
=+ one=`path`(weld top `path`[%one ~])
=+ two=`path`(weld top `path`[%two ~])
~& [%xolid-one-start one]
=+ gen=(reck one)
~& %xolid-one-parsed
=+ ken=q:(~(mint ut %noun) %noun gen)
~& %xolid-one-compiled
=+ src=.^(%cx (weld two `path`[%hoon ~]))
~& [%xolid-two-start two]
=+ nek=.*(src ken)
~& %xolid-two-compiled
:- nek
=+ all=.*(0 nek)
=+ ^= vay ^- (list {p/@tas q/@tas})
:~ [%$ %zuse]
[%g %gall]
[%f %ford]
[%a %ames]
[%b %behn]
[%c %clay]
[%d %dill]
[%e %eyre]
==
|- ^+ all
?~ vay all
=+ pax=(weld top `path`[q.i.vay ~])
=+ txt=((hard @) .^(%cx (weld pax `path`[%hoon ~])))
=+ sam=[now `ovum`[[%gold ~] [%veer p.i.vay pax txt]]]
~& [%xolid-veer i.vay]
=+ gat=.*(all .*(all [0 42]))
=+ nex=+:.*([-.gat [sam +>.gat]] -.gat)
$(vay t.vay, all nex)