urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-08 14:09:29 +03:00
Code Issues Packages Projects Releases Wiki Activity

New %hold now firmly in place.

Browse Source
This commit is contained in:
C. Guy Yarvin 2016-01-10 23:04:34 -08:00
parent 56fe353539
commit 735e31ab30
2 changed files with 21 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ape/dojo.hoon
View File

@ -516,7 +516,7 @@
{$cube * _$} {$cube * _$}
{$face tusk _$} {$face tusk _$}
{$frog (list _$)} {$frog (list _$)}
{$holt _$ twig} {$hold _$ twig}
== ==
wain :: "<|core|>" wain :: "<|core|>"
$?($noun $void) $?($noun $void)
@ -526,7 +526,7 @@
{$cell ^} a(p $(a p.a), q $(a q.a)) {$cell ^} a(p $(a p.a), q $(a q.a))
{$frog *} a(p (turn p.a |=(b/span ^$(a b)))) {$frog *} a(p (turn p.a |=(b/span ^$(a b))))
{$core ^} `wain`/core {$core ^} `wain`/core
{$holt *} a(p $(a p.a)) {$hold *} a(p $(a p.a))
== ==
:: ::
++ dy-shown ++ dy-shown

39
arvo/hoon.hoon
View File

@ -342,7 +342,7 @@
{$core p/span q/coil} :: object {$core p/span q/coil} :: object
{$face p/tusk q/span} :: namespace {$face p/tusk q/span} :: namespace
{$frog p/(list span)} :: union {$frog p/(list span)} :: union
{$holt p/span q/twig} :: lazy evaluation {$hold p/span q/twig} :: lazy evaluation
== :: == ::
++ tone $% {$0 p/*} :: success ++ tone $% {$0 p/*} :: success
{$1 p/(list)} :: blocks {$1 p/(list)} :: blocks
@ -6560,7 +6560,7 @@
|= {cog/@tas typ/span} |= {cog/@tas typ/span}
^- ? ^- ?
?+ typ | ?+ typ |
{$holt *} $(typ ~(repo ut typ)) {$hold *} $(typ ~(repo ut typ))
{$core *} (~(has by q.r.q.typ) cog) {$core *} (~(has by q.r.q.typ) cog)
== ==
:: ::
@ -6568,7 +6568,7 @@
|= typ/span |= typ/span
^- (list term) ^- (list term)
?+ typ ~ ?+ typ ~
{$holt *} $(typ ~(repo ut typ)) {$hold *} $(typ ~(repo ut typ))
{$core *} {$core *}
(turn (~(tap by q.r.q.typ) ~) |=({a/term *} a)) (turn (~(tap by q.r.q.typ) ~) |=({a/term *} a))
== ==
@ -7714,7 +7714,7 @@
=+ dis=^$(dex p.mor, sut i.p.sut) =+ dis=^$(dex p.mor, sut i.p.sut)
[p.dis q.dis q.mor] [p.dis q.dis q.mor]
:: ::
{$holt *} {$hold *}
=+ hey=(~(get by p.dex) sut) =+ hey=(~(get by p.dex) sut)
?^ hey ?^ hey
[dex [%stop u.hey]] [dex [%stop u.hey]]
@ -7783,7 +7783,7 @@
{$core *} [p.r.q.sut $(sut p.sut)] {$core *} [p.r.q.sut $(sut p.sut)]
{$face *} $(sut repo) {$face *} $(sut repo)
{$frog *} $(sut -.p.sut) {$frog *} $(sut -.p.sut)
{$holt *} ?: (~(has in gil) sut) {$hold *} ?: (~(has in gil) sut)
~_ (dunk %span) ~_ (dunk %span)
~|(%burn-loop !!) ~|(%burn-loop !!)
$(sut repo, gil (~(put in gil) sut)) $(sut repo, gil (~(put in gil) sut))
@ -7844,7 +7844,7 @@
{$core *} ?:(?=(?({$atom *} {$cell *}) ref) sut sint) {$core *} ?:(?=(?({$atom *} {$cell *}) ref) sut sint)
{$face *} (face p.sut dext(sut q.sut)) {$face *} (face p.sut dext(sut q.sut))
{$frog *} (frog (turn p.sut |=(span dext(sut +<)))) {$frog *} (frog (turn p.sut |=(span dext(sut +<))))
{$holt *} ?< (~(has in bix) [sut ref]) {$hold *} ?< (~(has in bix) [sut ref])
dext(sut repo, bix (~(put in bix) [sut ref])) dext(sut repo, bix (~(put in bix) [sut ref]))
$noun dext(sut repo) $noun dext(sut repo)
$void %void $void %void
@ -7858,7 +7858,7 @@
{$frog *} |- ^- span {$frog *} |- ^- span
?~ p.ref sut ?~ p.ref sut
$(p.ref t.p.ref, sut dext(ref i.p.ref)) $(p.ref t.p.ref, sut dext(ref i.p.ref))
{$holt *} dext(ref repo(sut ref)) {$hold *} dext(ref repo(sut ref))
== ==
-- --
:: ::
@ -8064,7 +8064,7 @@
?~ t.wiz i.wiz ?~ t.wiz i.wiz
(twin i.wiz $(wiz t.wiz)) (twin i.wiz $(wiz t.wiz))
:: ::
{$holt *} {$hold *}
?: (~(has in gil) ref) ?: (~(has in gil) ref)
[%| %& p.heg] [%| %& p.heg]
$(gil (~(put in gil) ref), ref repo(sut ref)) $(gil (~(put in gil) ref), ref repo(sut ref))
@ -8081,7 +8081,7 @@
%+ turn %+ turn
hag.$ hag.$
|= {p/span q/foot} |= {p/span q/foot}
:- %holt :- %hold
?. ?=({$core *} p) ?. ?=({$core *} p)
~_ (dunk %fire-span) ~_ (dunk %fire-span)
~|(%fire-core !!) ~|(%fire-core !!)
@ -8121,7 +8121,7 @@
{$face *} $(sut q.sut) {$face *} $(sut q.sut)
{$frog *} |- ^- nock {$frog *} |- ^- nock
?~(p.sut [%1 1] (flor ^$(sut i.p.sut) $(p.sut t.p.sut))) ?~(p.sut [%1 1] (flor ^$(sut i.p.sut) $(p.sut t.p.sut)))
{$holt *} {$hold *}
?: (~(has in vot) sut) ?: (~(has in vot) sut)
[%0 0] [%0 0]
=> %=(. vot (~(put in vot) sut)) => %=(. vot (~(put in vot) sut))
@ -8158,7 +8158,7 @@
{$core *} $(sut repo) {$core *} $(sut repo)
{$face *} (face p.sut $(sut q.sut)) {$face *} (face p.sut $(sut q.sut))
{$frog *} (frog (turn p.sut |=(span ^$(sut +<)))) {$frog *} (frog (turn p.sut |=(span ^$(sut +<))))
{$holt *} {$hold *}
?: (~(has in bix) [sut ref]) ?: (~(has in bix) [sut ref])
~|(%fuse-loop !!) ~|(%fuse-loop !!)
$(sut repo, bix (~(put in bix) [sut ref])) $(sut repo, bix (~(put in bix) [sut ref]))
@ -8345,7 +8345,7 @@
{$core *} $(sut p.sut) {$core *} $(sut p.sut)
{$face *} $(sut q.sut) {$face *} $(sut q.sut)
{$frog *} (lien p.sut |=(span ^$(sut +<))) {$frog *} (lien p.sut |=(span ^$(sut +<)))
{$holt *} |((~(has in gil) sut) $(gil (~(put in gil) sut), sut repo)) {$hold *} |((~(has in gil) sut) $(gil (~(put in gil) sut), sut repo))
$noun | $noun |
$void & $void &
== ==
@ -8568,7 +8568,7 @@
{$face *} dext(sut q.sut) {$face *} dext(sut q.sut)
{$frog *} ?. ?=(?({$atom *} $noun {$cell *} {$core *}) ref) sint {$frog *} ?. ?=(?({$atom *} $noun {$cell *} {$core *}) ref) sint
(lien p.sut |=(span dext(tel |, sut +<))) (lien p.sut |=(span dext(tel |, sut +<)))
{$holt *} ?: (~(has in seg) sut) | {$hold *} ?: (~(has in seg) sut) |
?: (~(has in gil) [sut ref]) & ?: (~(has in gil) [sut ref]) &
%= dext %= dext
sut repo sut repo
@ -8587,7 +8587,7 @@
{$core *} dext(ref repo(sut ref)) {$core *} dext(ref repo(sut ref))
{$face *} dext(ref q.ref) {$face *} dext(ref q.ref)
{$frog *} (levy p.ref |=(span sint(ref +<))) {$frog *} (levy p.ref |=(span sint(ref +<)))
{$holt *} ?: (~(has in reg) ref) & {$hold *} ?: (~(has in reg) ref) &
?: (~(has in gil) [sut ref]) & ?: (~(has in gil) [sut ref]) &
%= dext %= dext
ref repo(sut ref) ref repo(sut ref)
@ -8632,8 +8632,7 @@
== ==
:: ::
{$frog *} (frog (turn p.sut |=(span ^$(sut +<)))) {$frog *} (frog (turn p.sut |=(span ^$(sut +<))))
:: {$hold *}
{$holt *}
?: (~(has in gil) sut) ?: (~(has in gil) sut)
%void %void
$(gil (~(put in gil) sut), sut repo) $(gil (~(put in gil) sut), sut repo)
@ -8698,7 +8697,7 @@
?- sut ?- sut
{$core *} [%cell %noun p.sut] {$core *} [%cell %noun p.sut]
{$face *} q.sut {$face *} q.sut
{$holt *} (rest [[p.sut q.sut] ~]) {$hold *} (rest [[p.sut q.sut] ~])
$noun [%frog [%atom %$ ~] [%cell %noun %noun] ~] $noun [%frog [%atom %$ ~] [%cell %noun %noun] ~]
* ~|(%repo-fltt !!) * ~|(%repo-fltt !!)
== ==
@ -8746,7 +8745,7 @@
?+ sut ^$(vit t.vit) ?+ sut ^$(vit t.vit)
{$face *} (face p.sut ^$(vit t.vit, sut q.sut)) {$face *} (face p.sut ^$(vit t.vit, sut q.sut))
{$frog *} (frog (turn p.sut |=(span ^$(sut +<)))) {$frog *} (frog (turn p.sut |=(span ^$(sut +<))))
{$holt *} $(sut repo) {$hold *} $(sut repo)
== ==
=+ vil=*(set span) =+ vil=*(set span)
|- ^- span |- ^- span
@ -8765,7 +8764,7 @@
(core $(sut p.sut, u.i.vit lat) q.sut) (core $(sut p.sut, u.i.vit lat) q.sut)
{$face *} (face p.sut $(sut q.sut)) {$face *} (face p.sut $(sut q.sut))
{$frog *} (frog (turn p.sut |=(span ^$(sut +<)))) {$frog *} (frog (turn p.sut |=(span ^$(sut +<))))
{$holt *} ?: (~(has in vil) sut) {$hold *} ?: (~(has in vil) sut)
%void %void
$(sut repo, vil (~(put in vil) sut)) $(sut repo, vil (~(put in vil) sut))
== ==
@ -8805,7 +8804,7 @@
{$core *} ?>(|(=(%gold p.q.sut) =(%lead yoz)) sut(p.q yoz)) {$core *} ?>(|(=(%gold p.q.sut) =(%lead yoz)) sut(p.q yoz))
{$face *} (face p.sut $(sut q.sut)) {$face *} (face p.sut $(sut q.sut))
{$frog *} (frog (turn p.sut |=(span ^$(sut +<)))) {$frog *} (frog (turn p.sut |=(span ^$(sut +<))))
{$holt *} $(sut repo) {$hold *} $(sut repo)
== ==
-- --
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::