Initial rind installation.

This commit is contained in:
Curtis Yarvin 2018-06-15 10:37:57 -07:00
parent 919fcdcd0f
commit 07e8e3029f
3 changed files with 11 additions and 6 deletions

View File

@ -1319,7 +1319,7 @@
%| %|
=> .(vax (slap vax !,(*hoon ?>(?=(%| -) .)))) :: XX working sped #72 => .(vax (slap vax !,(*hoon ?>(?=(%| -) .)))) :: XX working sped #72
=+ typ={%| (unit knot) hiss:eyre *} =+ typ={%| (unit knot) hiss:eyre *}
=+ [~ usr hiz ~]=((dy-cast typ !>($:typ)) vax) =+ [* usr hiz *]=((dy-cast typ !>($:typ)) vax)
=. ..dy (he-diff %tan leaf+"< {(en-purl:html p.hiz)}" ~) =. ..dy (he-diff %tan leaf+"< {(en-purl:html p.hiz)}" ~)
(dy-eyre(pro `(slap (slot 15 vax) limb+%r)) /scar usr hiz) (dy-eyre(pro `(slap (slot 15 vax) limb+%r)) /scar usr hiz)
== ==

View File

@ -12785,6 +12785,7 @@
['&' (rune pad %ktpd expa)] ['&' (rune pad %ktpd expa)]
['~' (rune sig %ktsg expa)] ['~' (rune sig %ktsg expa)]
['=' (rune tis %ktts expg)] ['=' (rune tis %ktts expg)]
['#' (rune hax %kthx expj)]
['?' (rune wut %ktwt expa)] ['?' (rune wut %ktwt expa)]
['%' (rune cen %ktcn expa)] ['%' (rune cen %ktcn expa)]
['*' (rune tar %kttr exqa)] ['*' (rune tar %kttr exqa)]
@ -13013,6 +13014,9 @@
?.(tol fail ;~(sfix zor ;~(plug gap dun))) ?.(tol fail ;~(sfix zor ;~(plug gap dun)))
++ hank (most muck loaf) :: gapped hoons ++ hank (most muck loaf) :: gapped hoons
++ hunk (most muck loan) :: gapped specs ++ hunk (most muck loan) :: gapped specs
++ lore %+ sear
|=(=hoon ~(hind ap hoon))
loaf
++ loaf ?:(tol tall wide) :: tall/wide hoon ++ loaf ?:(tol tall wide) :: tall/wide hoon
++ loan ?:(tol till wyde) :: tall/wide spec ++ loan ?:(tol till wyde) :: tall/wide spec
++ mash ?:(tol gap ;~(plug com ace)) :: list separator ++ mash ?:(tol gap ;~(plug com ace)) :: list separator
@ -13063,6 +13067,7 @@
++ expg |.(;~(gunk sym loaf)) :: term and hoon ++ expg |.(;~(gunk sym loaf)) :: term and hoon
++ exph |.((butt ;~(gunk rope rick))) :: wing, [spec hoon]s ++ exph |.((butt ;~(gunk rope rick))) :: wing, [spec hoon]s
++ expi |.((butt ;~(gunk loaf hank))) :: one or more hoons ++ expi |.((butt ;~(gunk loaf hank))) :: one or more hoons
++ expj |.((butt ;~(gunk lore loaf))) :: rind and hoon
++ expk |.(;~(gunk loaf ;~(plug loaf (easy ~)))) :: list of two hoons ++ expk |.(;~(gunk loaf ;~(plug loaf (easy ~)))) :: list of two hoons
++ expl |.(;~(gunk sym loaf loaf)) :: term, two hoons ++ expl |.(;~(gunk sym loaf loaf)) :: term, two hoons
++ expm |.((butt ;~(gunk rope loaf rick))) :: several [spec hoon]s ++ expm |.((butt ;~(gunk rope loaf rick))) :: several [spec hoon]s
@ -13185,8 +13190,8 @@
$col ?:(=([%base %flag] ros) ~ [~ %tsld ros p.vil]) $col ?:(=([%base %flag] ros) ~ [~ %tsld ros p.vil])
$lit (bind ~(reek ap ros) |=(hyp/wing [%cnts hyp p.vil])) $lit (bind ~(reek ap ros) |=(hyp/wing [%cnts hyp p.vil]))
$ket [~ ros p.vil] $ket [~ ros p.vil]
$tis =+ tog=~(hock ap ros) $tis =+ rud=~(hind ap ros)
?:(=([%0 ~] tog) ~ [~ %ktts tog p.vil]) ?~(rud ~ `[%kthx u.rud p.vil])
== ==
:: ::
++ long ++ long

View File

@ -3383,7 +3383,7 @@
?- wil :: mint-vain on empty ?- wil :: mint-vain on empty
:: {wit/* t/*} :: {wit/* t/*}
{* t/*} {* t/*}
=> .(wil [wit ~]=wil) => .(wil [wit *]=wil)
?~ t.wil ?^(t.jol !! (wit.wil i.jol)) ?~ t.wil ?^(t.jol !! (wit.wil i.jol))
[(wit.wil i.jol) ((at-raw t.wil) t.jol)] [(wit.wil i.jol) ((at-raw t.wil) t.jol)]
== ==
@ -3437,7 +3437,7 @@
?- wer :: mint-vain on empty ?- wer :: mint-vain on empty
:: {{key/@t wit/*} t/*} :: {{key/@t wit/*} t/*}
{{key/@t *} t/*} {{key/@t *} t/*}
=> .(wer [[~ wit] ~]=wer) => .(wer [[* wit] *]=wer)
?: =(key.wer p.n.p.jon) ?: =(key.wer p.n.p.jon)
[key.wer ~|(key+key.wer (wit.wer q.n.p.jon))] [key.wer ~|(key+key.wer (wit.wer q.n.p.jon))]
?~ t.wer ~|(bad-key+p.n.p.jon !!) ?~ t.wer ~|(bad-key+p.n.p.jon !!)
@ -3456,7 +3456,7 @@
?- wer :: mint-vain on empty ?- wer :: mint-vain on empty
:: {{key/@t wit/*} t/*} :: {{key/@t wit/*} t/*}
{{key/@t *} t/*} {{key/@t *} t/*}
=> .(wer [[~ wit] ~]=wer) => .(wer [[* wit] *]=wer)
=/ ten ~|(key+key.wer (wit.wer (~(got by jom) key.wer))) =/ ten ~|(key+key.wer (wit.wer (~(got by jom) key.wer)))
?~(t.wer ten [ten ((ot-raw t.wer) jom)]) ?~(t.wer ten [ten ((ot-raw t.wer) jom)])
== ==