ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-17 20:01:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Remove cubab.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-12-28 15:53:10 -05:00
parent 7c871cbf42
commit e04e53d1f6
2 changed files with 7 additions and 96 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

101
arvo/hoon.hoon
View File

@ -355,7 +355,6 @@
$% {$atom p/term q/(unit @)} :: atom / constant $% {$atom p/term q/(unit @)} :: atom / constant
{$cell p/span q/span} :: ordered pair {$cell p/span q/span} :: ordered pair
{$core p/span q/coil} :: object {$core p/span q/coil} :: object
{$cube p/* q/span} :: constant
{$face p/tusk q/span} :: namespace {$face p/tusk q/span} :: namespace
{$fork p/span q/span} :: union {$fork p/span q/span} :: union
{$hold p/(list {p/span q/twig})} :: lazy evaluation {$hold p/(list {p/span q/twig})} :: lazy evaluation
@ -490,13 +489,6 @@
?: (lth a b) c ?: (lth a b) c
$(a (sub a b), c +(c)) $(a (sub a b), c +(c))
:: ::
++ fac :: factorial
~/ %fac
|= a/@
^- @
?: =(0 a) 1
(mul a $(a (dec a)))
::
++ gte :: greater-equal ++ gte :: greater-equal
~/ %gte ~/ %gte
|= {a/@ b/@} |= {a/@ b/@}
@ -6272,14 +6264,6 @@
^- span ^- span
?:(=(%void pac) %void [%core pac con]) ?:(=(%void pac) %void [%core pac con])
:: ::
++ cube :: make %cube span
~/ %cube
|= {dil/* goq/span}
^- span
?: =(%void goq)
%void
[%cube dil goq]
::
++ face :: make %face span ++ face :: make %face span
~/ %face ~/ %face
|= {sag/tusk der/span} |= {sag/tusk der/span}
@ -7698,20 +7682,13 @@
[1 (add 'a' (mod (div gum 26) 26))] [1 (add 'a' (mod (div gum 26) 26))]
[1 (add 'a' (mod (div gum 676) 26))] [1 (add 'a' (mod (div gum 676) 26))]
== ==
::
{$cube *}
?. ?=(@ p.sut)
$(sut ~(repo ut sut))
=+ pum=$(sut q.sut)
?> ?=({$mato *} q.pum)
[p.pum [%pear p.q.pum p.sut]]
:: ::
{$face *} {$face *}
=+ yad=$(sut q.sut) =+ yad=$(sut q.sut)
?^(p.sut yad [p.yad [%face p.sut q.yad]]) ?^(p.sut yad [p.yad [%face p.sut q.yad]])
:: ::
{$fork *} {$fork *}
?: =(p.sut fork+[cube+[%noun atom+%tas]]^[cube+[%void atom+%tas]]) ?: =(p.sut fork+[%atom %tas `%noun]^[%atom %tas `%void])
[dex %span] :: XX proper print [dex %span] :: XX proper print
=+ hin=$(sut p.sut) =+ hin=$(sut p.sut)
=+ yon=$(dex p.hin, sut q.sut) =+ yon=$(dex p.hin, sut q.sut)
@ -7760,7 +7737,6 @@
%dune dune %dune dune
%dunk dunk %dunk dunk
%fire fire %fire fire
%firm firm
%fish fish %fish fish
%fuse fuse %fuse fuse
%gain gain %gain gain
@ -7789,10 +7765,9 @@
=+ gil=*(set span) =+ gil=*(set span)
|- ^- * |- ^- *
?- sut ?- sut
{$atom *} 0 {$atom *} ?~(q.sut 0 u.q.sut)
{$cell *} [$(sut p.sut) $(sut q.sut)] {$cell *} [$(sut p.sut) $(sut q.sut)]
{$core *} [p.r.q.sut $(sut p.sut)] {$core *} [p.r.q.sut $(sut p.sut)]
{$cube *} p.sut
{$face *} $(sut repo) {$face *} $(sut repo)
{$fork *} $(sut p.sut) {$fork *} $(sut p.sut)
{$hold *} ?: (~(has in gil) sut) {$hold *} ?: (~(has in gil) sut)
@ -7862,18 +7837,6 @@
?: ?=(?({$atom *} {$cell *}) ref) ?: ?=(?({$atom *} {$cell *}) ref)
sut sut
sint sint
::
{$cube *}
?: &(?=({$cube *} ref) =(p.sut p.ref))
%void
?: &(?=({$atom *} ref) =(`p.sut q.ref))
%void
?: ?=(?({$atom *} {$cell *}) ref)
=+ foz=dext(sut q.sut)
?: (firm(sut foz) p.sut)
(cube p.sut foz)
%void
sint
:: ::
{$face *} (face p.sut dext(sut q.sut)) {$face *} (face p.sut dext(sut q.sut))
{$fork *} (fork dext(sut p.sut) dext(sut q.sut)) {$fork *} (fork dext(sut p.sut) dext(sut q.sut))
@ -7890,7 +7853,6 @@
^- span ^- span
?- ref ?- ref
{$core *} sut {$core *} sut
{$cube *} sut
{$face *} dext(ref repo(sut ref)) {$face *} dext(ref repo(sut ref))
{$fork *} dext(sut dext(ref p.ref), ref q.ref) {$fork *} dext(sut dext(ref p.ref), ref q.ref)
{$hold *} dext(ref repo(sut ref)) {$hold *} dext(ref repo(sut ref))
@ -7972,12 +7934,6 @@
?. sam.pec lose ?. sam.pec lose
?: con.pec $(ref p.ref, axe (peg axe 3)) ?: con.pec $(ref p.ref, axe (peg axe 3))
$(ref (peek(sut p.ref) way 2), axe (peg axe 6)) $(ref (peek(sut p.ref) way 2), axe (peg axe 6))
::
{$cube *}
::
:: XX is this right? arguably should revisit.
::
$(ref q.ref)
:: ::
{$face *} {$face *}
?@ p.ref ?@ p.ref
@ -8057,34 +8013,6 @@
== ==
[p p.q] [p p.q]
:: ::
++ firm
~/ %firm
|= dib/*
=+ bix=*(set {span *})
|- ^- ?
?- sut
{$atom *} ?& !.?(dib)
|(?=($~ q.sut) =(dib u.q.sut))
==
{$cell *} &(.?(dib) $(sut p.sut, dib -.dib) $(sut q.sut, dib +.dib))
{$core *}
?& .?(dib)
$(sut p.sut, dib -.dib)
=(+.dib ?:(=(~ p.r.q.sut) ~|(%firm-core !!) p.r.q.sut))
==
::
{$cube *} =(dib p.sut)
{$face *} $(sut q.sut)
{$fork *} |($(sut p.sut) $(sut q.sut))
{$hold *}
?| (~(has in bix) [sut dib])
$(bix (~(put in bix) [sut dib]), sut repo)
==
::
$noun &
$void |
==
::
++ fish ++ fish
~/ %fish ~/ %fish
|= axe/axis |= axe/axis
@ -8093,14 +8021,15 @@
?- sut ?- sut
$void [%1 1] $void [%1 1]
$noun [%1 0] $noun [%1 0]
{$atom *} (flip [%3 %0 axe]) {$atom *} ?~ q.sut
(flip [%3 %0 axe])
[%5 [%1 u.q.sut] [%0 axe]]
{$cell *} {$cell *}
%+ flan %+ flan
[%3 %0 axe] [%3 %0 axe]
(flan $(sut p.sut, axe (peg axe 2)) $(sut q.sut, axe (peg axe 3))) (flan $(sut p.sut, axe (peg axe 2)) $(sut q.sut, axe (peg axe 3)))
:: ::
{$core *} [%0 0] {$core *} [%0 0]
{$cube *} [%5 [%1 p.sut] [%0 axe]]
{$face *} $(sut q.sut) {$face *} $(sut q.sut)
{$fork *} (flor $(sut p.sut) $(sut q.sut)) {$fork *} (flor $(sut p.sut) $(sut q.sut))
{$hold *} {$hold *}
@ -8128,9 +8057,6 @@
%void %void
[%atom foc q.sut] [%atom foc q.sut]
[%atom foc q.ref] [%atom foc q.ref]
:: {$cube *} ?: &(?=(^ q.sut) !=(u.q.sut p.ref))
:: %void
:: $(sut ref, ref sut)
{$cell *} %void {$cell *} %void
* $(sut ref, ref sut) * $(sut ref, ref sut)
== ==
@ -8141,12 +8067,6 @@
== ==
:: ::
{$core *} $(sut repo) {$core *} $(sut repo)
{$cube *}
=+ foz=$(sut q.sut)
?: (firm(sut foz) p.sut)
(cube p.sut foz)
%void
::
{$face *} (face p.sut $(sut q.sut)) {$face *} (face p.sut $(sut q.sut))
{$fork *} (fork $(sut p.sut) $(sut q.sut)) {$fork *} (fork $(sut p.sut) $(sut q.sut))
{$hold *} {$hold *}
@ -8339,7 +8259,6 @@
{$atom *} | {$atom *} |
{$cell *} |($(sut p.sut) $(sut q.sut)) {$cell *} |($(sut p.sut) $(sut q.sut))
{$core *} $(sut p.sut) {$core *} $(sut p.sut)
{$cube *} |
{$face *} $(sut q.sut) {$face *} $(sut q.sut)
{$fork *} &($(sut p.sut) $(sut q.sut)) {$fork *} &($(sut p.sut) $(sut q.sut))
{$hold *} |((~(has in gil) sut) $(gil (~(put in gil) sut), sut repo)) {$hold *} |((~(has in gil) sut) $(gil (~(put in gil) sut), sut repo))
@ -8616,15 +8535,10 @@
?. ?=({$core *} ref) ?. ?=({$core *} ref)
sint sint
cong cong
::
{$cube *}
?: ?=({$cube *} ref)
=(p.sut p.ref)
sint
:: ::
{$face *} dext(sut q.sut) {$face *} dext(sut q.sut)
{$fork *} {$fork *}
?. ?=(?({$atom *} $noun {$cell *} {$cube *} {$core *}) ref) ?. ?=(?({$atom *} $noun {$cell *} {$core *}) ref)
sint sint
|(dare(sut p.sut) dare(sut q.sut)) |(dare(sut p.sut) dare(sut q.sut))
:: ::
@ -8765,7 +8679,6 @@
^- span ^- span
?- sut ?- sut
{$core *} [%cell %noun p.sut] {$core *} [%cell %noun p.sut]
{$cube *} q.sut
{$face *} q.sut {$face *} q.sut
{$hold *} (rest p.sut) {$hold *} (rest p.sut)
$noun [%fork [%atom %$ ~] [%cell %noun %noun]] $noun [%fork [%atom %$ ~] [%cell %noun %noun]]
@ -8823,7 +8736,6 @@
?~ i.vit ?~ i.vit
|- ^- span |- ^- span
?+ sut !! ?+ sut !!
{$cube *} [%cube p.sut ^$(vit t.vit, sut q.sut)]
{$face *} (face p.sut ^$(vit t.vit, sut q.sut)) {$face *} (face p.sut ^$(vit t.vit, sut q.sut))
{$fork *} (fork $(sut p.sut) $(sut q.sut)) {$fork *} (fork $(sut p.sut) $(sut q.sut))
{$hold *} $(sut repo) {$hold *} $(sut repo)
@ -8841,7 +8753,6 @@
(cell $(sut p.sut, u.i.vit lat) q.sut) (cell $(sut p.sut, u.i.vit lat) q.sut)
(cell p.sut $(sut q.sut, u.i.vit lat)) (cell p.sut $(sut q.sut, u.i.vit lat))
{$core *} ?>(=(3 now) (core $(sut p.sut, u.i.vit lat) q.sut)) {$core *} ?>(=(3 now) (core $(sut p.sut, u.i.vit lat) q.sut))
{$cube *} $(sut q.sut)
{$face *} (face p.sut $(sut q.sut)) {$face *} (face p.sut $(sut q.sut))
{$fork *} ?: (~(has in vil) sut) {$fork *} ?: (~(has in vil) sut)
%void %void

2
arvo/zuse.hoon
View File

@ -516,7 +516,7 @@
?: =(~ t.myn) (trip i.myn) ?: =(~ t.myn) (trip i.myn)
(weld (trip i.myn) `tape`['/' $(myn t.myn)]) (weld (trip i.myn) `tape`['/' $(myn t.myn)])
:: ::
++ perk :: pars cube fork ++ perk :: parse cube fork
|* a/(pole @tas) |* a/(pole @tas)
?~ a fail ?~ a fail
;~ pose ;~ pose