!::::: :: :: %ford, new execution control !? 164 :::: |= pit=vase => =~ :: structures |% :: ++ bead ,[p=(set beam) q=gage] :: computed result ++ gift :: out result <-$ $% [%made p=(each bead (list tank))] :: computed result == :: ++ heel path :: functional ending ++ hock :: standard label $: [%c p=@ud] :: celsius version [%k p=@ud] :: kelvin version [%s p=@ud q=@ud r=@ud] :: semantic version == :: ++ hood :: assembly plan $: zus=@ud :: zuse kelvin sur=(list hoot) :: structures lib=(list hoof) :: libraries fan=(list horn) :: resources src=(list hoop) :: program == :: ++ hoof (pair term (unit (pair case ship))) :: resource reference ++ hoot (pair bean hoof) :: structure gate/core ++ hoop :: source in hood $% [%& p=twig] :: direct twig [%| p=beam] :: resource location == :: ++ horn :: resource tree $% [%ape p=twig] :: /~ twig by hand [%arg p=twig] :: /$ argument [%day p=horn] :: /| list by @dr [%dub p=term q=horn] :: /= apply face [%fan p=(list horn)] :: /. list [%for p=path q=horn] :: /, descend [%hel p=horn] :: /% propogate heel [%hub p=horn] :: /@ list by @ud [%man p=(map span horn)] :: /* hetero map [%nap p=horn] :: /_ homo map [%now p=horn] :: /& list by @da [%saw p=twig q=horn] :: /; operate on [%see p=beam q=horn] :: /: relative to [%sic p=tile q=horn] :: /^ cast [%toy p=mark] :: /mark/ static == :: ++ kiss :: in request ->$ $% [%exec p=@p q=(unit silk)] :: make / kill == :: ++ move ,[p=duct q=(mold note gift)] :: local move ++ note :: out request $-> $% $: %c :: to %clay $% [%warp p=sock q=riff] :: == == == :: ++ rave :: see %clay $% [& p=mood] :: single request [| p=moat] :: change range == :: ++ riff ,[p=desk q=(unit rave)] :: see %clay ++ sign :: in result $<- $% $: %c :: by %clay $% [%writ p=riot] :: == == == :: ++ silk :: construction layer $& [p=silk q=silk] :: cons $% [%bake p=mark q=beam r=path] :: local synthesis [%boil p=mark q=beam r=path] :: general synthesis [%call p=silk q=silk] :: slam [%cast p=mark q=silk] :: translate [%diff p=silk q=silk] :: diff [%done p=(set beam) q=gage] :: literal [%dude p=tank q=silk] :: error wrap [%dune p=(set beam) q=(unit gage)] :: unit literal [%join p=mark q=silk r=silk] :: merge [%mute p=silk q=(list (pair wing silk))] :: mutant [%pact p=silk q=silk] :: patch [%plan p=beam q=spur r=hood] :: structured assembly [%reef ~] :: kernel reef [%ride p=twig q=silk] :: silk thru twig [%tabl p=(list (pair silk silk))] :: list [%vale p=mark q=ship r=*] :: validate [our his] == :: -- :: |% :: structures ++ axle :: all %ford state $: %1 :: version for update pol=(map ship baby) :: == :: ++ baby :: state by ship $: tad=[p=@ud q=(map ,@ud task)] :: tasks by number dym=(map duct ,@ud) :: duct to task number jav=(map ,* calx) :: cache == :: ++ bolt :: gonadic edge |* a=$+(* *) :: product clam $: p=cafe :: cache $= q :: $% [%0 p=(set beam) q=a] :: depends/product [%1 p=(set ,[p=care q=beam r=(list tank)])] :: blocks [%2 p=(list tank)] :: error == :: == :: :: :: ++ burg :: gonadic rule |* [a=$+(* *) b=$+(* *)] :: from and to $+([c=cafe d=a] (bolt b)) :: :: :: ++ cafe :: live cache $: p=(set calx) :: used q=(map ,* calx) :: cache == :: :: :: ++ calm :: cache metadata $: laz=@da :: last accessed dep=(set beam) :: dependencies == :: ++ calx :: concrete cache line $% [%hood p=calm q=(pair beam gage) r=hood] :: compile [%slit p=calm q=[p=type q=type] r=type] :: slam type [%slim p=calm q=[p=type q=twig] r=(pair type nock)]:: mint [%slap p=calm q=[p=vase q=twig] r=vase] :: compute [%slam p=calm q=[p=vase q=vase] r=vase] :: compute == :: ++ task :: problem in progress $: nah=duct :: cause kas=silk :: problem kig=[p=@ud q=(map ,@ud ,[p=care q=beam])] :: blocks == :: -- :: |% :: ++ calf :: reduce calx |* sem=* :: a typesystem hack |= cax=calx ?+ sem !! %hood ?>(?=(%hood -.cax) r.cax) %slap ?>(?=(%slap -.cax) r.cax) %slam ?>(?=(%slam -.cax) r.cax) %slim ?>(?=(%slim -.cax) r.cax) %slit ?>(?=(%slit -.cax) r.cax) == :: ++ calk :: cache lookup |= a=cafe :: |= [b=@tas c=*] :: ^- [(unit calx) cafe] :: =+ d=(~(get by q.a) [b c]) :: ?~ d [~ a] :: [d a(p (~(put in p.a) u.d))] :: :: :: ++ came :: |= [a=cafe b=calx] :: cache install ^- cafe :: a(q (~(put by q.a) [-.b q.b] b)) :: :: :: ++ chub :: cache merge |= [a=cafe b=cafe] :: ^- cafe :: [(grom p.a p.b) (grum q.a q.b)] :: :: :: ++ faun |=([a=cafe b=vase] (fine a `gage`noun/b)) :: vase to gage ++ feel |=([a=cafe b=gage] (fine a q.b)) :: gage to vase ++ fest |*([a=cafe b=*] (fine a [~ u=b])) :: bolt to unit ++ fine |* [a=cafe b=*] :: bolt from data [p=`cafe`a q=[%0 p=*(set beam) q=b]] :: ++ flaw |=([a=cafe b=(list tank)] [p=a q=[%2 p=b]]) :: bolt from error :: ++ grom :: merge sets |* [one=(set) two=(set)] ^+ one (~(gas in one) (~(tap in two) ~)) :: XX ugh :: ++ grum :: merge maps |* [one=(map) two=(map)] ^+ one (~(gas by one) (~(tap by two) ~)) :: XX ugh :: ++ lark :: filter arch names |= [wox=$+(span (unit ,@)) arc=arch] ^- (map ,@ span) %- ~(gas by *(map ,@ span)) =| rac=(list (pair ,@ span)) |- ^+ rac ?~ r.arc rac =. rac $(r.arc l.r.arc, rac $(r.arc r.r.arc)) =+ gib=(wox p.n.r.arc) ?~(gib rac [[u.gib p.n.r.arc] rac]) :: ++ za :: per event =| $: $: $: our=ship :: computation owner hen=duct :: event floor == :: $: now=@da :: event date eny=@ :: unique entropy ska=sled :: system namespace == :: mow=(list move) :: pending actions == :: bay=baby :: all owned state == :: |% ++ abet :: resolve ^- [(list move) baby] [(flop mow) bay] :: ++ apex :: call |= kus=(unit silk) ^+ +> ?~ kus =+ nym=(~(get by dym.bay) hen) ?~ nym :: XX should never ~& [%ford-mystery hen] +>.$ =+ tas=(need (~(get by q.tad.bay) u.nym)) amok:~(camo zo [u.nym tas]) =+ num=p.tad.bay ?< (~(has by dym.bay) hen) =: p.tad.bay +(p.tad.bay) dym.bay (~(put by dym.bay) hen num) == ~(exec zo [num `task`[hen u.kus 0 ~]]) :: ++ apel :: stateless |= [hen=duct kus=silk] ^- (unit gift) =+ num=0 :: XX ~(exit zo [num `task`[hen kus 0 ~]]) :: ++ axon :: take |= [num=@ud tik=@ud sih=sign] ^+ +> ?- -.+.sih %writ =+ tus=(~(get by q.tad.bay) num) ?~ tus ~& [%ford-lost num] +>.$ (~(resp zo [num u.tus]) tik p.+.sih) == :: ++ zo |_ [num=@ud task] ++ abet %_(..zo q.tad.bay (~(put by q.tad.bay) num +<+)) ++ amok %_ ..zo q.tad.bay (~(del by q.tad.bay) num) dym.bay (~(del by dym.bay) nah) == ++ camo :: stop requests ^+ . =+ kiz=(~(tap by q.kig) *(list ,[p=@ud q=[p=care q=beam]])) |- ^+ +> ?~ kiz +> %= $ kiz t.kiz mow :_ mow :- hen :^ %pass [(scot %p our) (scot %ud num) (scot %ud p.i.kiz) ~] %c [%warp [our p.q.q.i.kiz] q.q.q.i.kiz ~] == :: ++ camp :: request a file |= [ren=care bem=beam] ^+ +> %= +> kig [+(p.kig) (~(put by q.kig) p.kig [ren bem])] mow :_ mow :- hen :^ %pass [(scot %p our) (scot %ud num) (scot %ud p.kig) ~] %c [%warp [our p.bem] q.bem [~ %& ren r.bem (flop s.bem)]] == :: ++ clef :: cache a result |* sem=* |* [hoc=(bolt) fun=(burg)] ?- -.q.hoc %2 hoc %1 hoc %0 =^ cux p.hoc ((calk p.hoc) sem q.q.hoc) ?~ cux =+ nuf=(cope hoc fun) ?- -.q.nuf %2 nuf %1 nuf %0 :- p=(came p.nuf `calx`[sem `calm`[now p.q.nuf] q.q.hoc q.q.nuf]) q=q.nuf == [p=p.hoc q=[%0 p=p.q.hoc q=((calf sem) u.cux)]] == :: ++ coax :: bolt across |* [hoc=(bolt) fun=(burg)] ?- -.q.hoc %0 =+ nuf=$:fun(..+<- p.hoc) :- p=p.nuf ^= q ?- -.q.nuf %0 [%0 p=(grom p.q.hoc p.q.nuf) q=[q.q.hoc q.q.nuf]] %1 q.nuf %2 q.nuf == %1 =+ nuf=$:fun(..+<- p.hoc) :- p=p.nuf ^= q ?- -.q.nuf %0 q.hoc %1 [%1 p=(grom p.q.nuf p.q.hoc)] %2 q.nuf == %2 hoc == :: ++ cool :: error caption |* [cyt=trap hoc=(bolt)] ?. ?=(%2 -.q.hoc) hoc [p.hoc [%2 *cyt p.q.hoc]] :: ++ cope :: bolt along |* [hoc=(bolt) fun=(burg)] ?- -.q.hoc %2 hoc %1 hoc %0 =+ nuf=(fun p.hoc q.q.hoc) :- p=p.nuf ^= q ?- -.q.nuf %2 q.nuf %1 q.nuf %0 [%0 p=(grom `_p.q.nuf`p.q.hoc p.q.nuf) q=q.q.nuf] == == :: ++ coup :: toon to bolt |= cof=cafe |* [ton=toon fun=$+(* *)] :- p=cof ^= q ?- -.ton %2 [%2 p=p.ton] %0 [%0 p=*(set beam) q=(fun p.ton)] %1 :: ~& [%coup-need ((list path) p.ton)] =- ?- -.faw & :- %1 ^= p %- sa %+ turn p.faw |=(a=[care beam] [-.a +.a *(list tank)]) | [%2 p=p.faw] == ^= faw |- ^- (each (list (pair care beam)) (list tank)) ?~ p.ton [%& ~] =+ nex=$(p.ton t.p.ton) =+ pax=(path i.p.ton) ?~ pax [%| (smyt pax) ?:(?=(& -.nex) ~ p.nex)] ?. ?=(%c (end 3 1 i.pax)) [%| leaf/"blocking not clay" (smyt pax) ?:(?=(& -.nex) ~ p.nex)] =+ ren=((soft care) (rsh 3 1 i.pax)) ?~ ren [%| leaf/"blocking not care" (smyt pax) ?:(?=(& -.nex) ~ p.nex)] =+ zis=(tome t.pax) ?~ zis [%| leaf/"blocking not beam" (smyt pax) ?:(?=(& -.nex) ~ p.nex)] ?- -.nex & [%& [u.ren u.zis] p.nex] | nex == == :: ++ cowl :: each to bolt |= cof=cafe |* [tod=(each ,* (list tank)) fun=$+(* *)] %+ (coup cof) ?- -.tod %& [%0 p=p.tod] %| [%2 p=p.tod] == fun :: ++ dash :: process cache |= cof=cafe ^+ +> %_(+> jav.bay q.cof) :: ++ diff :: diff |= [cof=cafe kas=silk kos=silk] ^- (bolt gage) %. [cof kas kos] ;~ cope ;~ coax |=([cof=cafe p=silk q=silk] (make cof p)) |=([cof=cafe p=silk q=silk] (make cof q)) == |= [cof=cafe cay=gage coy=gage] ?. &(?=(@ p.cay) ?=(@ p.coy)) (flaw cof leaf/"bad diff marc" ~) ?. =(p.cay p.coy) %+ flaw cof :_ ~ leaf/"diff on data of different marks: {(trip p.cay)} {(trip p.coy)}" ?: =(q.q.cay q.q.coy) (fine cof %null [%atom %n] ~) %+ cope (fang cof p.cay [our %main %da now]) |= [cof=cafe pro=vase] ?. (slab %grad p.pro) (flaw cof leaf/"no ++grad" ~) =+ gar=(slap pro [%cnzy %grad]) ?. (slab %form p.gar) ?. (slab %sted p.gar) (flaw cof leaf/"no ++form:grad nor ++sted:grad" ~) =+ for=((soft ,@tas) q:(slap gar [%cnzy %sted])) ?~ for (flaw cof leaf/"bad ++sted:grad" ~) %^ make cof %diff [kas kos] :: :- [%cast u.for [%done ~ cay]] :: [%cast u.for [%done ~ coy]] ?. (slab %diff p.gar) (flaw cof leaf/"no ++diff:grad" ~) %+ cope (keel cof pro [[%& 6]~ q.cay]~) |= [cof=cafe pox=vase] %+ cope %^ maul cof (slap (slap pox [%cnzy %grad]) [%cnzy %diff]) (slop q.cay q.coy) |= [cof=cafe dif=vase] =+ for=((soft ,@tas) q:(slap gar [%cnzy %form])) ?~ for (flaw cof leaf/"bad ++form:grad" ~) (fine cof u.for dif) == :: ++ exit :: stateless exec ^- (unit gift) =+ bot=(make [~ jav.bay] kas) :: =. ..exec (dash p.bot) ?- -.q.bot %0 `[%made %& p.q.bot q.q.bot] %2 `[%made %| p.q.bot] %1 ~ == :: ++ exec :: execute app ^+ ..zo ?: !=(~ q.kig) ..zo =+ bot=(make [~ jav.bay] kas) =. ..exec (dash p.bot) ?- -.q.bot %0 amok:(expo [%made %& p.q.bot q.q.bot]) %2 amok:(expo [%made %| p.q.bot]) %1 =+ zuk=(~(tap by p.q.bot) ~) =< abet |- ^+ ..exec ?~ zuk ..exec =+ foo=`_..exec`(camp p.i.zuk q.i.zuk) $(zuk t.zuk, ..exec foo) == :: ++ expo :: return gift |= gef=gift %_(+> mow :_(mow [hen %give gef])) :: ++ fade :: compile to hood |= [cof=cafe for=mark bem=beam] ^- (bolt hood) %+ cool |.(leaf/"ford: fade {<[(tope bem)]>}") %+ cope (make cof [%bake for bem ~]) |= [cof=cafe cay=gage] %+ (clef %hood) (fine cof bem cay) ^- (burg (pair beam gage) hood) |= [cof=cafe bum=beam cay=gage] =+ rul=(fair bem) ?. ?=(@ q.q.cay) (flaw cof ~) =+ vex=((full rul) [[1 1] (trip q.q.cay)]) ?~ q.vex (flaw cof [%leaf "syntax error: {} {}"] ~) (fine cof p.u.q.vex) :: ++ fang :: protocol door |= [cof=cafe for=mark bek=beak] ^- (bolt vase) =+ pax=/door/[for]/mar =+ ^= bem ^- beam :_ pax ?: &(=(p.bek our) =(q.bek %main)) bek =+ oak=[our %main %da now] ?: ?=([~ ~ *] (ska ~ %cy [oak pax])) oak bek (cope (fade cof %hook bem) abut:(meow bem ~)) :: ++ fair :: hood parsing rule |= bem=beam =+ :* vez=(vang | (tope bem(r [%ud 0]))) voz=(vang | (tope bem)) == =< hood |% ++ case %- sear :_ nuck:so |= a=coin ?. ?=([%$ ?(%da %ud %tas) *] a) ~ [~ u=(^case a)] :: ++ hath (sear plex:voz (stag %clsg poor:voz)) :: hood path ++ have (sear tome ;~(pfix fas hath)) :: hood beam ++ hood %+ ifix [gay gay] ;~ plug ;~ pose (ifix [;~(plug fas wut gap) gap] dem) (easy zuse) == :: ;~ pose (ifix [;~(plug fas hep gap) gap] (most ;~(plug com gaw) hoot)) (easy ~) == :: ;~ pose (ifix [;~(plug fas lus gap) gap] (most ;~(plug com gaw) hoof)) (easy ~) == :: (star ;~(sfix horn gap)) (most gap hoop) == :: ++ hoof %+ cook |=(a=^hoof a) ;~ plug sym ;~ pose %+ stag ~ ;~(plug ;~(pfix fas case) ;~(pfix ;~(plug fas sig) fed:ag)) (easy ~) == == :: ++ hoot ;~ pose (stag %| ;~(pfix tar hoof)) (stag %& hoof) == :: ++ hoop ;~ pose (stag %| ;~(pfix ;~(plug fas fas gap) have)) (stag %& tall:vez) == :: ++ horn =< apex =| tol=? |% ++ apex %+ knee *^horn |. ~+ ;~ pfix fas ;~ pose (stag %toy ;~(sfix sym fas)) (stag %ape ;~(pfix sig ape:read)) (stag %arg ;~(pfix buc ape:read)) (stag %day ;~(pfix bar day:read)) (stag %dub ;~(pfix tis dub:read)) (stag %fan ;~(pfix dot fan:read)) (stag %for ;~(pfix com for:read)) (stag %hel ;~(pfix cen day:read)) (stag %hub ;~(pfix pat day:read)) (stag %man ;~(pfix tar man:read)) (stag %nap ;~(pfix cab day:read)) (stag %now ;~(pfix pam day:read)) (stag %saw ;~(pfix sem saw:read)) (stag %see ;~(pfix col see:read)) (stag %sic ;~(pfix ket sic:read)) == == :: ++ rail |* [wid=_rule tal=_rule] ?. tol wid ;~(pose wid tal) :: ++ read |% ++ ape %+ rail (ifix [sel ser] (stag %cltr (most ace wide:vez))) ;~(pfix gap tall:vez) :: ++ day %+ rail apex(tol |) ;~(pfix gap apex) :: ++ dub %+ rail ;~(plug sym ;~(pfix tis apex(tol |))) ;~(pfix gap ;~(plug sym ;~(pfix gap apex))) :: ++ fan %+ rail fail ;~(sfix (star ;~(pfix gap apex)) ;~(plug gap duz)) :: ++ for %+ rail ;~(plug (ifix [sel ser] hath) apex(tol |)) ;~(pfix gap ;~(plug hath ;~(pfix gap apex))) :: ++ 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]) :: ++ saw %+ rail ;~(plug ;~(sfix wide:vez sem) apex(tol |)) ;~(pfix gap ;~(plug tall:vez ;~(pfix gap apex))) :: ++ see %+ rail ;~(plug ;~(sfix have col) apex(tol |)) ;~(pfix gap ;~(plug have ;~(pfix gap apex))) :: ++ sic %+ rail ;~(plug ;~(sfix toil:vez ket) apex(tol |)) ;~(pfix gap ;~(plug howl:vez ;~(pfix gap apex))) -- :: -- -- :: ++ join |= [cof=cafe for=mark kas=silk kos=silk] ^- (bolt gage) %. [cof kas kos] ;~ cope ;~ coax |=([cof=cafe p=silk q=silk] (make cof p)) |=([cof=cafe p=silk q=silk] (make cof q)) == |= [cof=cafe cay=gage coy=gage] ?. &(?=(@ p.cay) ?=(@ p.coy)) (flaw cof leaf/"bad join marc: {} {}" ~) %+ cope (fang cof for [our %main %da now]) |= [cof=cafe pro=vase] ?. (slab %grad p.pro) (flaw cof leaf/"no ++grad" ~) =+ gar=(slap pro [%cnzy %grad]) ?. (slab %form p.gar) ?. (slab %sted p.gar) (flaw cof leaf/"no ++form:grad nor ++sted:grad" ~) =+ too=((soft ,@tas) q:(slap gar [%cnzy %sted])) ?~ too (flaw cof leaf/"bad ++sted:grad" ~) (make cof %join u.too [%done ~ cay] [%done ~ coy]) =+ fom=((soft ,@tas) q:(slap gar [%cnzy %form])) ?~ fom (flaw cof leaf/"bad ++form:grad" ~) ?. &(=(fom p.cay) =(fom p.coy)) %+ flaw cof :_ ~ leaf/"join on data of bad marks: {(trip p.cay)} {(trip p.coy)}" ?: =(q.q.cay q.q.coy) (fine cof cay) ?. (slab %join p.gar) (flaw cof leaf/"no ++join:grad" ~) %+ cope %^ maul cof (slap (slap pro [%cnzy %grad]) [%cnzy %join]) q.coy |= [cof=cafe dif=vase] (fine cof p.cay dif) == :: ++ kale :: mutate |= [cof=cafe kas=silk muy=(list (pair wing silk))] ^- (bolt gage) %+ cope |- ^- (bolt (list (pair wing vase))) ?~ muy (fine cof ~) %+ cope (make cof q.i.muy) |= [cof=cafe cay=gage] %+ cope ^$(muy t.muy) |= [cof=cafe rex=(list (pair wing vase))] (fine cof [[p.i.muy q.cay] rex]) |= [cof=cafe yom=(list (pair wing vase))] %+ cope (make cof kas) |= [cof=cafe cay=gage] %+ cope (keel cof q.cay yom) |= [cof=cafe vax=vase] (fine cof p.cay vax) :: ++ keel :: apply mutations |= [cof=cafe suh=vase yom=(list (pair wing vase))] ^- (bolt vase) %^ maim cof %+ slop suh |- ^- vase ?~ yom [[%atom %n] ~] (slop q.i.yom $(yom t.yom)) ^- twig :+ %cncb [%& 2]~ =+ axe=3 |- ^- (list (pair wing twig)) ?~ yom ~ :- [p.i.yom [%$ (peg axe 2)]] $(yom t.yom, axe (peg axe 3)) :: ++ lace :: load and check |= [cof=cafe for=mark bem=beam arg=heel] ^- (bolt (unit vase)) =+ bek=`beak`[p.bem q.bem r.bem] %+ cope (lend cof bem) |= [cof=cafe arc=arch] ?^ q.arc (cope (cope (liar cof bem) (lake for bek)) fest) ?: (~(has by r.arc) %hook) %+ cope (fade cof %hook bem) |= [cof=cafe hyd=hood] (cope (cope (abut:(meow bem arg) cof hyd) (lake for bek)) fest) (fine cof ~) :: ++ lake :: check/coerce |= [for=mark bek=beak] |= [cof=cafe sam=vase] ^- (bolt vase) %+ cool |.(leaf/"ford: check {<[for bek `@p`(mug q.sam)]>}") ?: ?=(?(%gate %core %door %hoon %hook) for) :: ~& [%lake-easy for bek] (fine cof sam) %+ cope (fang cof for bek) |= [cof=cafe tux=vase] =+ bob=(slot 6 tux) ?: (~(nest ut p.bob) | p.sam) (fine cof sam) ?. (slab %grab p.tux) (flaw cof [%leaf "ford: no grab: {<[for bek]>}"]~) =+ gab=(slap tux [%cnzy %grab]) ?. (slab %noun p.gab) (flaw cof [%leaf "ford: no noun: {<[for bek]>}"]~) %+ cope (maul cof (slap gab [%cnzy %noun]) [%noun q.sam]) |= [cof=cafe pro=vase] ?> (~(nest ut p.bob) | p.pro) ?: =(q.pro q.sam) (fine cof p.bob q.pro) (flaw cof [%leaf "ford: invalid content: {<[for bek]>}"]~) :: ++ lamp :: normalize version |= [cof=cafe bem=beam] ^- (bolt beam) ?: ?=(%ud -.r.bem) (fine cof bem) =+ von=(ska ~ %cw bem(s ~)) ?~ von [p=cof q=[%1 [%w bem ~] ~ ~]] (fine cof bem(r [%ud ((hard ,@) +.+:(need u.von))])) :: ++ lave :: validate |= [cof=cafe for=mark his=ship som=*] ^- (bolt vase) ((lake for [our %main [%da now]]) cof [%noun som]) :: ++ lane :: type infer |= [cof=cafe typ=type gen=twig] %+ (cowl cof) (mule |.((~(play ut typ) gen))) |=(ref=type ref) :: ++ lash :: atomic sequence |= wox=$+(span (unit ,@)) |= [cof=cafe bem=beam] ^- (bolt (map ,@ span)) %+ cope (lend cof bem) |= [cof=cafe arc=arch] (fine cof (lark wox arc)) :: ++ lend :: load arch |= [cof=cafe bem=beam] ^- (bolt arch) =+ von=(ska ~ %cy bem) ?~ von [p=cof q=[%1 [%y bem ~] ~ ~]] (fine cof ((hard arch) q.q:(need u.von))) :: ++ liar :: load vase |= [cof=cafe bem=beam] ^- (bolt vase) =+ von=(ska ~ %cx bem) ?~ von [p=*cafe q=[%1 [[%x bem ~] ~ ~]]] ?~ u.von (flaw cof leaf/"file unavailable" (smyt (tope bem)) ~) (fine cof q.u.u.von) :: ++ lily :: translation targets |= [cof=cafe for=mark bek=beak] ^- (bolt (list ,@tas)) =+ raf=(fang cof for bek) ?: =(%2 -.q.raf) (fine p.raf ~) %+ cope raf |= [cof=cafe vax=vase] %+ fine cof %+ weld ^- (list ,@tas) ?. (slab %garb p.vax) ~ =+ gav=((soft (list ,@tas)) q:(slap vax [%cnzy %garb])) ?~(gav ~ u.gav) ?. (slab %grow p.vax) ~ =+ gow=(slap vax [%cnzy %grow]) (sloe p.gow) :: ++ lima :: load at depth |= [cof=cafe for=mark bem=beam arg=heel] ^- (bolt (unit vase)) %+ cope (lend cof bem) |= [cof=cafe arc=arch] ^- (bolt (unit vase)) ?: (~(has by r.arc) for) (lace cof for bem(s [for s.bem]) arg) =+ haz=(turn (~(tap by r.arc) ~) |=([a=@tas b=~] a)) ?~ haz (fine cof ~) %+ cope (lion cof for -.bem haz) |= [cof=cafe wuy=(unit (list ,@tas))] ?~ wuy (fine cof ~) ?> ?=(^ u.wuy) %+ cope (make cof %bake i.u.wuy bem arg) |= [cof=cafe hoc=gage] %+ cope (lope cof i.u.wuy t.u.wuy -.bem q.hoc) |= [cof=cafe vax=vase] (fine cof ~ vax) :: ++ lime :: load beam |= [cof=cafe for=mark bem=beam arg=heel] =+ [mob=bem mer=(flop arg)] |- ^- (bolt vase) %+ cope (lima cof for mob (flop mer)) |= [cof=cafe vux=(unit vase)] ?^ vux (fine cof u.vux) ?~ s.mob (flaw cof leaf/"beam unavailable" (smyt (tope bem)) ~) ^$(s.mob t.s.mob, mer [i.s.mob mer]) :: ++ link :: translate |= [cof=cafe too=mark for=mark bek=beak vax=vase] ^- (bolt vase) ?: =(too for) (fine cof vax) ?: |(=(%noun for) =(%$ for)) ((lake too bek) cof vax) %+ cope (fang cof for bek) |= [cof=cafe pro=vase] ?: &((slab %grow p.pro) (slab too p:(slap pro [%cnzy %grow]))) %+ cope (keel cof pro [[%& 6]~ vax]~) |= [cof=cafe pox=vase] (maim cof pox [%tsgr [%cnzy %grow] [%cnzy too]]) %+ cope (fang cof too bek) |= [cof=cafe pro=vase] =+ ^= zat ^- (unit vase) ?. (slab %grab p.pro) ~ =+ gab=(slap pro [%cnzy %grab]) ?. (slab for p.gab) ~ `(slap gab [%cnzy for]) ?~ zat (flaw cof [%leaf "ford: no link: {<[for too]>}"]~) (maul cof u.zat vax) :: ++ lion :: translation search |= [cof=cafe too=@tas bek=beak fro=(list ,@tas)] ^- (bolt (unit (list ,@tas))) =| war=(set ,@tas) =< -:(apex (fine cof fro)) |% ++ apex |= rof=(bolt (list ,@tas)) ^- [(bolt (unit (list ,@tas))) _+>] ?. ?=(%0 -.q.rof) [rof +>.$] ?~ q.q.rof [[p.rof [%0 p.q.rof ~]] +>.$] =^ orf +>.$ (apse p.rof i.q.q.rof) ?. ?=(%0 -.q.orf) [orf +>.$] ?~ q.q.orf $(p.rof p.orf, q.q.rof t.q.q.rof) [[p.orf [%0 (grom p.q.rof p.q.orf) q.q.orf]] +>.$] :: ++ apse |= [cof=cafe for=@tas] ^- [(bolt (unit (list ,@tas))) _+>] ?: =(for too) [(fine cof [~ too ~]) +>.$] ?: (~(has in war) for) [(fine cof ~) +>] =. war (~(put in war) for) =^ hoc +>.$ (apex (lily cof for bek)) :_ +>.$ %+ cope hoc |= [cof=cafe ked=(unit (list ,@tas))] (fine cof ?~(ked ~ [~ for u.ked])) -- :: ++ lope :: translation pipe |= [cof=cafe for=mark yaw=(list mark) bek=beak vax=vase] ^- (bolt vase) ?~ yaw (fine cof vax) %+ cope (link cof i.yaw for bek vax) |= [cof=cafe yed=vase] ^$(cof cof, for i.yaw, yaw t.yaw, vax yed) :: ++ mail :: cached mint |= [cof=cafe sut=type gen=twig] ^- (bolt (pair type nock)) %+ (clef %slim) (fine cof sut gen) |= [cof=cafe sut=type gen=twig] =+ puz=(mule |.((~(mint ut sut) [%noun gen]))) ?- -.puz | (flaw cof p.puz) & (fine cof p.puz) == :: ++ maim :: slap |= [cof=cafe vax=vase gen=twig] ^- (bolt vase) %+ cope (mail cof p.vax gen) |= [cof=cafe typ=type fol=nock] %+ (coup cof) (mock [q.vax fol] (mole (slod ska))) |=(val=* `vase`[typ val]) :: ++ make :: reduce silk |= [cof=cafe kas=silk] ^- (bolt gage) :: ~& [%make -.kas] ?- -.kas ^ %. [cof p.kas q.kas] ;~ cope ;~ coax |=([cof=cafe p=silk q=silk] ^$(cof cof, kas p.kas)) |=([cof=cafe p=silk q=silk] ^$(cof cof, kas q.kas)) == :: |= [cof=cafe bor=gage heg=gage] ^- (bolt gage) [p=cof q=[%0 ~ [%$ (slop q.bor q.heg)]]] == :: %bake %+ cool |.(leaf/"ford: bake {} {<(tope q.kas)>}") %+ cope (lima cof p.kas q.kas r.kas) |= [cof=cafe vux=(unit vase)] ?~ vux (flaw cof leaf/"bake failed" (smyt (tope q.kas)) ~) (fine cof [p.kas u.vux]) :: %boil %+ cool |.(leaf/"ford: boil {} {<(tope q.kas)>} {}") %+ cope (lamp cof q.kas) |= [cof=cafe bem=beam] %+ cope (lime cof p.kas bem r.kas) |= [cof=cafe vax=vase] (fine cof `gage`[p.kas vax]) :: %call %+ cool |.(leaf/"ford: call {<`@p`(mug kas)>}") %. [cof p.kas q.kas] ;~ cope ;~ coax |=([cof=cafe p=silk q=silk] ^$(cof cof, kas p)) |=([cof=cafe p=silk q=silk] ^$(cof cof, kas q)) == :: |= [cof=cafe gat=gage sam=gage] (maul cof q.gat q.sam) :: |= [cof=cafe vax=vase] (fine cof %noun vax) == :: %cast %+ cool |.(leaf/"ford: cast {}") %+ cope $(kas q.kas) |= [cof=cafe cay=gage] ^- (bolt gage) %+ cool |.(leaf/"ford: casting {} to {}") ?. ?=(@ p.cay) (flaw cof leaf/"bad cast marc" ~) %+ cope (link cof p.kas p.cay [our %main %da now] q.cay) |= [cof=cafe vax=vase] (fine cof [p.kas vax]) :: %diff %+ cool |.(leaf/"ford: diff {<`@p`(mug p.kas)>} {<`@p`(mug q.kas)>}") (diff cof p.kas q.kas) :: %done [cof %0 p.kas q.kas] %dude (cool |.(p.kas) $(kas q.kas)) %dune ?~ q.kas [cof [%2 [%leaf "no data"]~]] $(kas [%done p.kas u.q.kas]) :: %join %+ cool |. leaf/"ford: join {} {<`@p`(mug q.kas)>} {<`@p`(mug r.kas)>}" (join cof p.kas q.kas r.kas) :: %mute (kale cof p.kas q.kas) %pact %+ cool |.(leaf/"ford: pact {<`@p`(mug p.kas)>} {<`@p`(mug q.kas)>}") (pact cof p.kas q.kas) :: %plan %+ cope (abut:(meow p.kas q.kas) cof r.kas) |= [cof=cafe vax=vase] (fine cof %noun vax) :: %reef (fine cof %noun pit) %ride %+ cool |.(leaf/"ford: ride {<`@p`(mug kas)>}") %+ cope $(kas q.kas) |= [cof=cafe cay=gage] %+ cope (maim cof q.cay p.kas) |= [cof=cafe vax=vase] (fine cof %noun vax) :: %tabl %+ cope |- ^- (bolt (pair (list (pair marc marc)) vase)) ?~ p.kas (fine cof ~ *vase) %+ cope (make cof p.i.p.kas) |= [cof=cafe key=gage] %+ cope (make cof q.i.p.kas) |= [cof=cafe val=gage] %+ cope ^^$(p.kas t.p.kas) |= [cof=cafe rex=(list (pair marc marc)) rey=vase] (fine cof [[p.key p.val] rex] (slop (slop q.key q.val) rey)) |= [cof=cafe rex=(list (pair marc marc)) rey=vase] (fine cof [%tabl rex] rey) :: %vale %+ cool |.(leaf/"ford: vale {} {} {<`@p`(mug r.kas)>}") %+ cope (lave cof p.kas q.kas r.kas) |= [cof=cafe vax=vase] (fine cof `cage`[p.kas vax]) == :: ++ malt :: cached slit |= [cof=cafe gat=type sam=type] ^- (bolt type) %+ (clef %slit) (fine cof gat sam) |= [cof=cafe gat=type sam=type] =+ top=(mule |.((slit gat sam))) ?- -.top | (flaw cof p.top) & (fine cof p.top) == :: ++ maul :: slam |= [cof=cafe gat=vase sam=vase] ^- (bolt vase) %+ cope (malt cof p.gat p.sam) |= [cof=cafe typ=type] %+ (coup cof) (mong [q.gat q.sam] (mole (slod ska))) |=(val=* `vase`[typ val]) :: ++ meow :: assemble |= [how=beam arg=heel] =| $: rop=(map term (pair hoof twig)) :: structure/complex bil=(map term (pair hoof twig)) :: libraries known lot=(list term) :: library stack zeg=(set term) :: library guard boy=(list twig) :: body stack == |% ++ able :: assemble preamble ^- twig :+ %tsgr ?:(=(~ rop) [%$ 1] [%brcn (~(run by rop) |=([* a=twig] [%ash a]))]) [%tssg (turn (flop lot) |=(a=term q:(need (~(get by bil) a))))] :: ++ ably :: naked structure |= [cof=cafe for=mark hyd=hood] :: XX unused ^- (bolt twig) %+ cope (apex cof hyd) |= [cof=cafe sel=_..ably] =. ..ably sel %+ fine cof ^- twig :+ %tsgl [%cnzy for] :- %brcn ^- (map term foot) %+ ~(put by `(map term foot)`(~(run by rop) |=([* a=twig] [%ash a]))) for [%ash [%tssg (flop boy)]] :: ++ abut :: generate |= [cof=cafe hyd=hood] ^- (bolt vase) %+ cope (apex cof hyd) |= [cof=cafe sel=_..abut] =. ..abut sel %+ cope (maim cof pit able) |= [cof=cafe bax=vase] %+ cope (chap cof bax [%fan fan.hyd]) |= [cof=cafe gox=vase] %+ cope (maim cof (slop gox bax) [%tssg (flop boy)]) |= [cof=cafe fin=vase] (fine cof fin) :: ~> %slog.[0 ~(duck ut p.q.cay)] :: ++ apex :: build to body |= [cof=cafe hyd=hood] ^- (bolt ,_..apex) %+ cope (body cof src.hyd) |= [cof=cafe sel=_..apex] =. ..apex sel %+ cope (neck cof lib.hyd) |= [cof=cafe sel=_..apex] =. ..apex sel(boy boy) %+ cope (head cof sur.hyd) |= [cof=cafe sel=_..apex] (fine cof sel) :: ++ body :: produce functions |= [cof=cafe src=(list hoop)] ^- (bolt ,_..body) ?~ src (fine cof ..body) %+ cope (wilt cof i.src) |= [cof=cafe sel=_..body] ^$(cof cof, src t.src, ..body sel) :: ++ chad :: atomic list |= [cof=cafe bax=vase doe=term hon=horn] ^- (bolt vase) %+ cope ((lash (slat doe)) cof how) |= [cof=cafe yep=(map ,@ span)] =+ ^= poy ^- (list (pair ,@ span)) %+ sort (~(tap by yep) ~) |=([a=[@ *] b=[@ *]] (lth -.a -.b)) %+ cope |- ^- (bolt (list (pair ,@ vase))) ?~ poy (fine cof ~) %+ cope $(poy t.poy) |= [cof=cafe nex=(list (pair ,@ vase))] %+ cope (chap(s.how [q.i.poy s.how]) cof bax hon) |= [cof=cafe elt=vase] (fine cof [[p.i.poy elt] nex]) |= [cof=cafe yal=(list (pair ,@ vase))] %+ fine cof |- ^- vase ?~ yal [[%cube 0 [%atom %n]] 0] (slop (slop [[%atom doe] p.i.yal] q.i.yal) $(yal t.yal)) :: ++ chai :: atomic map |= [cof=cafe bax=vase hon=horn] ^- (bolt vase) %+ cope (lend cof how) |= [cof=cafe arc=arch] %+ cope |- ^- (bolt (map ,@ vase)) ?~ r.arc (fine cof ~) %+ cope $(r.arc l.r.arc) |= [cof=cafe lef=(map ,@ vase)] %+ cope `(bolt (map ,@ vase))`^$(cof cof, r.arc r.r.arc) |= [cof=cafe rig=(map ,@ vase)] %+ cope (chap(s.how [p.n.r.arc s.how]) cof bax hon) |= [cof=cafe nod=vase] (fine cof [[p.n.r.arc nod] lef rig]) |= [cof=cafe doy=(map ,@ vase)] %+ fine cof |- ^- vase ?~ doy [[%cube 0 [%atom %n]] 0] %+ slop (slop [[%atom %a] p.n.doy] q.n.doy) (slop $(doy l.doy) $(doy r.doy)) :: ++ chap :: produce resources |= [cof=cafe bax=vase hon=horn] ^- (bolt vase) ?- -.hon %ape (maim cof bax p.hon) %arg %+ cope (maim cof bax p.hon) |= [cof=cafe gat=vase] (maul cof gat !>([how arg])) :: %day (chad cof bax %dr p.hon) %dub %+ cope $(hon q.hon) |= [cof=cafe vax=vase] (fine cof [[%face p.hon p.vax] q.vax]) :: %fan %+ cope |- ^- (bolt (list vase)) ?~ p.hon (fine cof ~) %+ cope ^$(hon i.p.hon) |= [cof=cafe vax=vase] %+ cope ^$(cof cof, p.hon t.p.hon) |= [cof=cafe tev=(list vase)] (fine cof [vax tev]) |= [cof=cafe tev=(list vase)] %+ fine cof |- ^- vase ?~ tev [[%cube 0 [%atom %n]] 0] (slop i.tev $(tev t.tev)) :: %for $(hon q.hon, s.how (weld (flop p.hon) s.how)) %hel $(hon p.hon, arg /, s.how (weld arg s.how)) %hub (chad cof bax %ud p.hon) %man |- ^- (bolt vase) ?~ p.hon (fine cof [[%cube 0 [%atom %n]] 0]) %+ cope $(p.hon l.p.hon) |= [cof=cafe lef=vase] %+ cope ^$(cof cof, p.hon r.p.hon) |= [cof=cafe rig=vase] %+ cope ^^^$(cof cof, hon q.n.p.hon) |= [cof=cafe vax=vase] %+ fine cof %+ slop (slop [[%atom %tas] p.n.p.hon] vax) (slop lef rig) :: %now (chad cof bax %da p.hon) %nap (chai cof bax p.hon) %see $(hon q.hon, how p.hon) %saw %+ cope $(hon q.hon) |= [cof=cafe sam=vase] %+ cope (maim cof bax p.hon) |= [cof=cafe gat=vase] (maul cof gat sam) :: %sic %+ cope $(hon q.hon) |= [cof=cafe vax=vase] %+ cope (maim cof bax [%bctr p.hon]) |= [cof=cafe tug=vase] ?. (~(nest ut p.tug) | p.vax) (flaw cof [%leaf "type error: {} {}"]~) (fine cof [p.tug q.vax]) :: %toy (cope (make cof %boil p.hon how ~) feel) == :: ++ head :: consume structures |= [cof=cafe bir=(list hoot)] |- ^- (bolt ,_..head) ?~ bir (fine cof ..head) =+ byf=(~(get by rop) p.q.i.bir) ?^ byf ?. =(`hoof`q.i.bir `hoof`p.u.byf) (flaw cof [%leaf "structure mismatch: {<~[p.u.byf q.i.bir]>}"]~) $(bir t.bir) =+ bem=(hone ?:(p.i.bir %gate %core) %sur q.i.bir) %+ cope (fade cof %hook bem) |= [cof=cafe hyd=hood] %+ cope (apex(boy ~) cof hyd) |= [cof=cafe sel=_..head] =. ..head %= sel boy ?: p.i.bir boy (welp boy [[[%cnzy p.q.i.bir] [%$ 1]] ~]) zeg zeg rop %+ ~(put by (~(uni by rop) rop.sel)) p.q.i.bir [q.i.bir [%tssg (flop boy.sel)]] == ^^$(cof cof, bir t.bir) :: ++ hone :: plant hoof |= [for=@tas way=@tas huf=hoof] ^- beam ?~ q.huf how(s ~[for p.huf way]) [[q.u.q.huf %main p.u.q.huf] ~[for p.huf way]] :: ++ neck :: consume libraries |= [cof=cafe bir=(list hoof)] ^- (bolt ,_..neck) ?~ bir (fine cof ..neck) ?: (~(has in zeg) p.i.bir) (flaw cof [%leaf "circular dependency: {}"]~) =+ goz=(~(put in zeg) p.i.bir) =+ byf=(~(get by bil) p.i.bir) ?^ byf ?. =(`hoof`i.bir `hoof`p.u.byf) (flaw cof [%leaf "library mismatch: {<~[p.u.byf i.bir]>}"]~) $(bir t.bir) =+ bem=(hone %core %lib i.bir) %+ cope (fade cof %hook bem) |= [cof=cafe hyd=hood] %+ cope (apex(zeg goz, boy ~) cof hyd) |= [cof=cafe sel=_..neck] =. ..neck %= sel zeg zeg lot [p.i.bir lot] bil (~(put by bil) p.i.bir [i.bir [%tssg (flop boy.sel)]]) == ^^$(cof cof, bir t.bir) :: ++ wilt :: process body entry |= [cof=cafe hop=hoop] ^- (bolt ,_..wilt) ?- -.hop %& (fine cof ..wilt(boy [p.hop boy])) %| %+ cool |.(leaf/"ford: wilt {<[(tope p.hop)]>}") %+ cope (lend cof p.hop) |= [cof=cafe arc=arch] ?: (~(has by r.arc) %hoon) %+ cope (fade cof %hoon p.hop) |= [cof=cafe hyd=hood] %+ cope (apex(boy ~) cof hyd) |= [cof=cafe sel=_..wilt] (fine cof sel(boy [[%tssg boy.sel] boy])) =+ [all=(lark (slat %tas) arc) sel=..wilt] %+ cope |- ^- (bolt (pair (map term foot) ,_..wilt)) ?~ all (fine cof ~ ..wilt) %+ cope $(all l.all) |= [cof=cafe lef=(map term foot) sel=_..wilt] %+ cope ^$(all r.all, cof cof, sel sel) |= [cof=cafe rig=(map term foot) sel=_..wilt] %+ cope %= ^^^^$ cof cof ..wilt sel(boy ~) s.p.hop [p.n.all s.p.hop] == |= [cof=cafe sel=_..wilt] %+ fine cof [`(map term foot)`[[p.n.all [%ash [%tssg boy.sel]]] lef rig] sel] |= [cof=cafe mav=(map term foot) sel=_..wilt] ?~ mav (flaw cof [%leaf "source missing: {<(tope p.hop)>}"]~) (fine cof sel(boy [[%brcn mav] boy])) == -- :: ++ pact :: patch |= [cof=cafe kas=silk kos=silk] ^- (bolt gage) %. [cof kas kos] ;~ cope ;~ coax |=([cof=cafe p=silk q=silk] (make cof p)) |=([cof=cafe p=silk q=silk] (make cof q)) == |= [cof=cafe cay=gage coy=gage] ?. &(?=(@ p.cay) ?=(@ p.coy)) (flaw cof leaf/"bad pact marc" ~) %+ cope (fang cof p.cay [our %main %da now]) |= [cof=cafe pro=vase] ?. (slab %grad p.pro) (flaw cof leaf/"no ++grad" ~) =+ gar=(slap pro [%cnzy %grad]) ?. (slab %form p.gar) ?. (slab %sted p.gar) (flaw cof leaf/"no ++form:grad nor ++sted:grad" ~) =+ for=((soft ,@tas) q:(slap gar [%cnzy %sted])) ?~ for (flaw cof leaf/"bad ++sted:grad" ~) (make cof %cast p.cay %pact [%cast u.for [%done ~ cay]] [%done ~ coy]) =+ for=((soft ,@tas) q:(slap gar [%cnzy %form])) ?~ for (flaw cof leaf/"bad ++form:grad" ~) ?. =(u.for p.coy) %+ flaw cof :_ ~ =< leaf/"pact on data with wrong form: {-} {+<} {+>}" [(trip p.cay) (trip u.for) (trip p.coy)] ?. (slab %pact p.gar) (flaw cof leaf/"no ++pact:grad" ~) %+ cope (keel cof pro [[%& 6]~ q.cay]~) |= [cof=cafe pox=vase] %+ cope %^ maul cof (slap (slap pox [%cnzy %grad]) [%cnzy %pact]) q.coy |= [cof=cafe pat=vase] (fine cof p.cay pat) == :: ++ resp |= [tik=@ud rot=riot] ^+ ..zo ?> (~(has by q.kig) tik) ?~ rot =+ `[ren=care bem=beam]`(~(got by q.kig) tik) amok:(expo [%made %| (smyt ren (tope bem)) ~]) exec(q.kig (~(del by q.kig) tik)) -- -- :: -- . == =| axle =* lex - |= [now=@da eny=@ ski=sled] :: activate ^? :: opaque core ~% %ford-d +>+>+>+>+>+> ~ |% :: ++ call :: request |= [hen=duct hic=(hypo (hobo kiss))] ^- [p=(list move) q=_..^$] => .(q.hic ?.(?=(%soft -.q.hic) q.hic ((hard kiss) p.q.hic))) =+ ^= our ^- @p ?- -.q.hic %exec p.q.hic == =+ ^= bay ^- baby =+ buy=(~(get by pol.lex) our) ?~(buy *baby u.buy) =^ mos bay abet:(~(apex za [[our hen] [now eny ski] ~] bay) q.q.hic) [mos ..^$(pol (~(put by pol) our bay))] :: ++ doze |= [now=@da hen=duct] ^- (unit ,@da) ~ :: ++ load :: highly forgiving |= old=* =. old ?. ?=([%0 *] old) old :: remove at 1 :- %1 |- ^- * ?~ +.old ~ ?> ?=([n=[p=* q=[tad=* dym=* jav=*]] l=* r=*] +.old) :- [p.n.+.old [tad.q.n.+.old dym.q.n.+.old ~]] [$(+.old l.+.old) $(+.old r.+.old)] =+ lox=((soft axle) old) ^+ ..^$ ?~ lox ~& %ford-reset ..^$ ..^$(+>- u.lox) :: ++ scry |= [fur=(unit (set monk)) ren=@tas who=ship syd=desk lot=coin tyl=path] ^- (unit (unit cage)) [~ ~] :: ++ stay :: save w/o cache `axle`+>-.$(pol (~(run by pol) |=(a=baby [tad.a dym.a ~]))) :: ++ take :: response |= [tea=wire hen=duct hin=(hypo sign)] ^- [p=(list move) q=_..^$] ?> ?=([@ @ @ ~] tea) =+ :* our=(need (slaw %p i.tea)) num=(need (slaw %ud i.t.tea)) tik=(need (slaw %ud i.t.t.tea)) == =+ bay=(~(got by pol.lex) our) =^ mos bay abet:(~(axon za [[our hen] [now eny ski] ~] bay) num tik q.hin) [mos ..^$(pol (~(put by pol) our bay))] --