Double verified step.

This commit is contained in:
C. Guy Yarvin 2013-12-14 21:52:07 -08:00
parent 6ae443870f
commit a31ccc3f2b
2 changed files with 2 additions and 13 deletions

View File

@ -86,20 +86,15 @@
[%bcts p=bozo] :: [%bcts p=bozo] ::
[%bcwt p=hoon q=gens] :: [%bcwt p=hoon q=gens] ::
:: :: :: ::
[%brbr p=hoon q=hoon] ::
[%hxcb p=tile q=(map term foot)] :: [%hxcb p=tile q=(map term foot)] ::
[%brcb p=hoon q=(map term foot)] ::
[%brcl p=hoon q=(map term foot)] :: [%brcl p=hoon q=(map term foot)] ::
[%brcn p=(map term foot)] :: [%brcn p=(map term foot)] ::
[%brdt p=hoon] :: [%brdt p=hoon] ::
[%brkt p=hoon q=(map term foot)] :: [%brkt p=hoon q=(map term foot)] ::
[%brhp p=hoon] :: [%brhp p=hoon] ::
[%hxls p=tile q=hoon] :: [%hxls p=tile q=hoon] ::
[%brls p=hoon q=hoon] ::
[%hxtr p=tile q=hoon] :: [%hxtr p=tile q=hoon] ::
[%brtr p=hoon q=hoon] ::
[%hxts p=tile q=hoon] :: [%hxts p=tile q=hoon] ::
[%brts p=hoon q=hoon] ::
[%brwt p=hoon] :: [%brwt p=hoon] ::
:: :: :: ::
[%clcb p=hoon q=hoon] :: [%clcb p=hoon q=hoon] ::
@ -4059,7 +4054,7 @@
[%weed *] [%weed *]
(home p.sec) (home p.sec)
== ==
++ clam ^-(hoon [%brts [%bcts %noun] %sgls 0 (whip(gom 7) 6)]) ++ clam ^-(hoon [%hxts [%base %noun] %sgls 0 (whip(gom 7) 6)])
++ whip ++ whip
|= axe=axis |= axe=axis
=+ ^= tun =+ ^= tun
@ -4269,18 +4264,13 @@
[%bcfs *] ~(clam al p.gen) [%bcfs *] ~(clam al p.gen)
[%bchx *] ~(bunt al p.gen) [%bchx *] ~(bunt al p.gen)
[%bcbc *] [%ktsg ~(bunt al p.gen)] [%bcbc *] [%ktsg ~(bunt al p.gen)]
[%brbr *] [%bccb [%brls p.gen ~(bunt al bore(gen q.gen))]]
[%hxcb *] [%tsls [%bcbc p.gen] [%brcn q.gen]] [%hxcb *] [%tsls [%bcbc p.gen] [%brcn q.gen]]
[%brcb *] [%tsls [[%bctr p.gen] [%brcn q.gen]]]
[%brdt *] [%brcn (~(put by *(map term foot)) %$ [%ash p.gen])] [%brdt *] [%brcn (~(put by *(map term foot)) %$ [%ash p.gen])]
[%brkt *] [%tsgr [%brcn (~(put by q.gen) %$ [%ash p.gen])] [%cnbc %$]] [%brkt *] [%tsgr [%brcn (~(put by q.gen) %$ [%ash p.gen])] [%cnbc %$]]
[%hxls *] [%ktbr [%hxts p.gen q.gen]] [%hxls *] [%ktbr [%hxts p.gen q.gen]]
[%brls *] [%ktbr [%brts p.gen q.gen]]
[%brhp *] [%tsgr [%brdt p.gen] [%cnbc %$]] [%brhp *] [%tsgr [%brdt p.gen] [%cnbc %$]]
[%hxtr *] [%hxcb p.gen (~(put by *(map term foot)) %$ [%elm q.gen])] [%hxtr *] [%hxcb p.gen (~(put by *(map term foot)) %$ [%elm q.gen])]
[%brtr *] [%brcb p.gen (~(put by *(map term foot)) %$ [%elm q.gen])]
[%hxts *] [%hxcb p.gen (~(put by *(map term foot)) %$ [%ash q.gen])] [%hxts *] [%hxcb p.gen (~(put by *(map term foot)) %$ [%ash q.gen])]
[%brts *] [%brcb p.gen (~(put by *(map term foot)) %$ [%ash q.gen])]
[%brwt *] [%ktwt %brdt p.gen] [%brwt *] [%ktwt %brdt p.gen]
[%clkt *] [p.gen q.gen r.gen s.gen] [%clkt *] [p.gen q.gen r.gen s.gen]
[%clfs *] =+(zoy=[%dtsg %ta %$] [%clsg [zoy [%clsg [zoy p.gen] ~]] ~]) [%clfs *] =+(zoy=[%dtsg %ta %$] [%clsg [zoy [%clsg [zoy p.gen] ~]] ~])
@ -6783,7 +6773,6 @@
:~ :- '|' :~ :- '|'
;~ pfix bar ;~ pfix bar
%- stew :~ %- stew :~
['|' (rune bar %brbr expb)]
['_' (rune cab %hxcb expu)] ['_' (rune cab %hxcb expu)]
['%' (rune cen %brcn expe)] ['%' (rune cen %brcn expe)]
[':' (rune col %brcl expr)] [':' (rune col %brcl expr)]

View File

@ -1918,7 +1918,7 @@
++ spur path :: modeshipdeskcasespur ++ spur path :: modeshipdeskcasespur
++ step ,[p=bray q=gens r=pass] :: identity stage ++ step ,[p=bray q=gens r=pass] :: identity stage
++ tako ,[p=path q=miso] :: change detail ++ tako ,[p=path q=miso] :: change detail
++ tart ||([@da path note] bowl) :: process core ++ tart _|+([@da path note] *bowl) :: process core
++ task :: ++ task ::
$: paq=(qeu gyro) :: prompt queue $: paq=(qeu gyro) :: prompt queue
wip=[p=@ud q=(map ,@ud beak)] :: processes wip=[p=@ud q=(map ,@ud beak)] :: processes