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

About to clean out %bull.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-12-26 22:42:45 -05:00
parent 759f3ef463
commit 10022f3d38
1 changed files with 12 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
arvo/hoon.hoon
View File

@ -375,6 +375,7 @@
{$1 p/(list)} :: {$1 p/(list)} ::
{$2 p/(list {@ta *})} :: {$2 p/(list {@ta *})} ::
== :: == ::
:: ++ tusk $@(term {~ (list (pair term wing))}) :: generalized face
++ twin {p/term q/wing r/axis s/span} :: alias info ++ twin {p/term q/wing r/axis s/span} :: alias info
++ typo span :: old span ++ typo span :: old span
++ udal :: atomic change (%b) ++ udal :: atomic change (%b)
@ -7331,7 +7332,7 @@
$wool :: $wool ::
$yarn :: $yarn ::
== :: == ::
$% {$atom p/term} :: $% {$mato p/term} ::
{$core p/(list @ta) q/wine} :: {$core p/(list @ta) q/wine} ::
{$face p/term q/wine} :: {$face p/term q/wine} ::
{$list p/term q/wine} :: {$list p/term q/wine} ::
@ -7378,7 +7379,7 @@
$wool :_(gid [%leaf '*' '"' '"' ~]) $wool :_(gid [%leaf '*' '"' '"' ~])
$wall :_(gid [%leaf '*' '\'' '\'' ~]) $wall :_(gid [%leaf '*' '\'' '\'' ~])
$yarn :_(gid [%leaf '"' '"' ~]) $yarn :_(gid [%leaf '"' '"' ~])
{$atom *} :_(gid [%leaf '@' (trip p.q.ham)]) {$mato *} :_(gid [%leaf '@' (trip p.q.ham)])
{$core *} {$core *}
=^ cox gid $(q.ham q.q.ham) =^ cox gid $(q.ham q.q.ham)
:_ gid :_ gid
@ -7441,10 +7442,10 @@
%= $ %= $
q.ham q.ham
?: ?=(@ lum) ?: ?=(@ lum)
[%atom %$] [%mato %$]
:- %plot :- %plot
|- ^- (list wine) |- ^- (list wine)
[%noun ?:(?=(@ +.lum) [[%atom %$] ~] $(lum +.lum))] [%noun ?:(?=(@ +.lum) [[%mato %$] ~] $(lum +.lum))]
== ==
:: ::
$path $path
@ -7487,7 +7488,7 @@
$void $void
~ ~
:: ::
{$atom *} {$mato *}
?. ?=(@ lum) ?. ?=(@ lum)
~ ~
:+ ~ :+ ~
@ -7569,7 +7570,7 @@
~ ~
=. p.q.ham =. p.q.ham
(rash p.q.ham ;~(sfix (cook crip (star low)) (star hig))) (rash p.q.ham ;~(sfix (cook crip (star low)) (star hig)))
=+ fox=$(q.ham [%atom p.q.ham]) =+ fox=$(q.ham [%mato p.q.ham])
?> ?=({$~ $leaf ^} fox) ?> ?=({$~ $leaf ^} fox)
?: ?=(?($n $tas) p.q.ham) ?: ?=(?($n $tas) p.q.ham)
fox fox
@ -7615,9 +7616,9 @@
++ doge ++ doge
|= ham/calf |= ham/calf
=- ?+ woz woz =- ?+ woz woz
{$list * {$atom $'ta'}} %path {$list * {$mato $'ta'}} %path
{$list * {$atom $'t'}} %wall {$list * {$mato $'t'}} %wall
{$list * {$atom $'tD'}} %yarn {$list * {$mato $'tD'}} %yarn
{$list * $yarn} %wool {$list * $yarn} %wool
== ==
^= woz ^= woz
@ -7679,7 +7680,7 @@
?- sut ?- sut
$noun [dex sut] $noun [dex sut]
$void [dex sut] $void [dex sut]
{$atom *} [dex sut] {$atom *} [dex [%mato p.sut]]
{$bull *} $(sut q.sut) :: something better here {$bull *} $(sut q.sut) :: something better here
{$cell *} {$cell *}
=+ hin=$(sut p.sut) =+ hin=$(sut p.sut)
@ -7724,7 +7725,7 @@
?. ?=(@ p.sut) ?. ?=(@ p.sut)
$(sut ~(repo ut sut)) $(sut ~(repo ut sut))
=+ pum=$(sut q.sut) =+ pum=$(sut q.sut)
?> ?=({$atom *} q.pum) ?> ?=({$mato *} q.pum)
[p.pum [%pear p.q.pum p.sut]] [p.pum [%pear p.q.pum p.sut]]
:: ::
{$face *} {$face *}
@ -8828,12 +8829,6 @@
=+ zar=(seek way hyp) =+ zar=(seek way hyp)
?>(?=($& -.q.zar) [p.zar p.q.zar]) ?>(?=($& -.q.zar) [p.zar p.q.zar])
:: ::
++ snub
~/ %snub
|= har/(list {p/wing q/twig})
^- (list {p/wing q/twig})
(turn har |=({a/wing b/twig} [(flop a) b]))
::
++ tech ++ tech
|= {way/?($read $rite $both $free) hyp/wing} |= {way/?($read $rite $both $free) hyp/wing}
^- vein ^- vein