ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-15 10:02:47 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #98 from mrdomino/master

Browse Source 
Ye olde whitespace cleanup
This commit is contained in:
johncburnham 2013-12-08 13:26:05 -08:00
commit d99f5864dc
32 changed files with 687 additions and 687 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

152
arvo/ames.hoon
View File

@ -1,4 +1,4 @@
!:
!:
:: ames (4a), networking
::
|= pit=vase
@ -40,7 +40,7 @@
^- ?
=+ rac=(clan r.p.q.new)
?& ?~ q.p.q.new
?& =(r.p.q.old r.p.q.new)
?& =(r.p.q.old r.p.q.new)
&(!=(%earl rac) =(p.p.q.old (dec p.p.q.new)))
==
?& &(!=(%pawn rac) !=(%czar rac))
@ -55,8 +55,8 @@
:: ~& [%pare-fou fou]
:: ~& [%pare-law law]
^- will
=+ [ouf=(flop fou) wal=(flop law)]
%- flop
=+ [ouf=(flop fou) wal=(flop law)]
%- flop
|- ^- will
?~ ouf wal
?~ wal ?>(=(~ ouf) ~)
@ -75,7 +75,7 @@
%&
::
++ real :: validate
|= [mac=mace law=will]
|= [mac=mace law=will]
?> ?& |- ^- ?
?~ mac &
?> ?& ?=(^ law)
@ -85,7 +85,7 @@
==
$(mac t.mac, law t.law)
==
%&
%&
::
++ rice :: mace at life
|= [mar=life mac=mace]
@ -113,7 +113,7 @@
0w0 :: 2, ~bud, Charles Songhurst (donum)
0w0 :: 3, ~wes
0w0 :: 4, ~sev
0wt.cKYxs.Yb5VZ.boSwm.l0yYc :: 5, ~per, Jonathan Perlow (donum)
0wt.cKYxs.Yb5VZ.boSwm.l0yYc :: 5, ~per, Jonathan Perlow (donum)
0w0 :: 6, ~sut
0w0 :: 7, ~let
0w0 :: 8, ~ful
@ -426,21 +426,21 @@
?^ rad
?> ?=(^ lew.wod.u.rad)
?. =(pub r.q.i.lew.wod.u.rad) [~ +>.$]
[[~ lew.wod.u.rad] +>.$]
[[~ lew.wod.u.rad] +>.$]
=+ syp=[[0 [~ p.nes] her now] ges pub]
=+ ded=[(sign:se:q.nes *code (shaf %meld (sham syp))) syp]
=+ wil=[ded law.saf]
?> =(wil (grip wil ~))
:- [~ wil]
+>.$(hoc.saf (~(put by hoc.saf) her [[~31337.1.1 ~ wil] ~ *cask]))
::
::
++ lax :: lax:as:go
|_ [her=ship dur=door] :: per client
++ cluy :: cluy:lax:as:go
^- [p=life q=gens r=acro] :: client crypto
?~ lew.wod.dur !!
:+ p.p.q.i.lew.wod.dur
q.q.i.lew.wod.dur
:+ p.p.q.i.lew.wod.dur
q.q.i.lew.wod.dur
(hail r.q.i.lew.wod.dur)
::
++ clon
@ -517,8 +517,8 @@
::
++ wist :: wist:lax:as:go
|= $: now=@da :: route via
waz=(list ,@p)
ryn=(unit lane)
waz=(list ,@p)
ryn=(unit lane)
pac=rock
==
^- (list boon)
@ -529,7 +529,7 @@
?=(^ lun.wod.dyr)
==
$(waz t.waz)
:_ ?: ?=(%ix -.u.lun.wod.dyr)
:_ ?: ?=(%ix -.u.lun.wod.dyr)
$(waz t.waz)
~
:+ %ouzo u.lun.wod.dyr
@ -541,7 +541,7 @@
?~ yed.caq.dyr [%none mal]
:- %fast
%^ cat 7
p.u.yed.caq.dyr
p.u.yed.caq.dyr
(en:crya q.u.yed.caq.dyr mal)
==
::
@ -599,7 +599,7 @@
:_ ..wisp
:- %fast
%^ cat 7
p.u.yed.caq.dur
p.u.yed.caq.dur
(en:r:cluy q.u.yed.caq.dur (jam ham))
?: &(=(~ lew.wod.dur) =(%back -.ham))
[wasp ..wisp]
@ -651,14 +651,14 @@
?> (lth mar p.i.val.saf)
:- |
|- ^- acro
?: =(mar p.i.t.val.saf)
r.i.t.val.saf
?: =(mar p.i.t.val.saf)
r.i.t.val.saf
$(t.val.saf t.t.val.saf)
::
++ sex :: export secrets
|- ^- mace
?~ val.saf ~
:- [p.i.val.saf sec:ex:r.i.val.saf]
:- [p.i.val.saf sec:ex:r.i.val.saf]
$(val.saf t.val.saf)
::
++ xen :: canon
@ -675,11 +675,11 @@
-- :: --as:go
::
++ ha :: adopt new license
|= [our=ship mac=mace wil=will]
|= [our=ship mac=mace wil=will]
^- town
?> !=(~ mac)
?> ?=(^ wil)
:: ?> =(our r.p.q.i.wil)
?> !=(~ mac)
?> ?=(^ wil)
:: ?> =(our r.p.q.i.wil)
?> =(wil (grip wil ~))
?> (real mac wil)
%_ ton
@ -687,11 +687,11 @@
%+ ~(put by urb.ton)
our
:* %- flop
|- ^- (list ship)
|- ^- (list ship)
?:((lth our 256) ~ =+(seg=(sein our) [seg $(our seg)]))
::
(turn mac |=([p=life q=ring] [p q (wear q)]))
wil
(turn mac |=([p=life q=ring] [p q (wear q)]))
wil
~
~
==
@ -805,7 +805,7 @@
==
=+ lez=(dec (need (~(get by pyz) gom.q.n.puq)))
=^ gub pyz
?: =(0 lez)
?: =(0 lez)
[[~ gom.q.n.puq] (~(del by pyz) gom.q.n.puq)]
[~ (~(put by pyz) gom.q.n.puq lez)]
:- gub
@ -817,18 +817,18 @@
=^ gym +> (bine now num)
:- gym
?: (gth num nep)
=+ cam=(max 2 (div caw 2))
=+ cam=(max 2 (div caw 2))
:: ~& [%bock-hole num nep cam]
beet:(wept(nep num, cag cam, caw cam) nep num)
=. caw ?: (lth caw cag) +(caw)
(add caw !=(0 (mod (mug now) caw)))
?: =(num nep)
?: =(num nep)
:: ~& [%bock-fine num nif caw cag]
beet
:: ~& [%bock-fill num nif caw cag]
+>.$
+>.$
::
++ harv :: harv:pu
++ harv :: harv:pu
|= now=@da :: harvest queue
^- [(list rock) _+>]
?: =(~ puq) [~ +>(rtn ~)]
@ -836,8 +836,8 @@
=+ wid=(sub caw nif)
=| rub=(list rock)
=< abet =< apse
|%
++ abet
|%
++ abet
?~ rub [~ +>.$]
[(flop rub) +>.$(rtn [~ (add rto now)])]
::
@ -871,8 +871,8 @@
?> =(0 nif)
=+ oub=(gte rto ~s16)
=: caw 2
rto ;: min
(mul 2 rto)
rto ;: min
(mul 2 rto)
~m2
(mul ~s16 ?~(rue 1 +((div (sub now u.rue) ~d1))))
==
@ -981,19 +981,19 @@
|
::
++ hall :: hall:am
^- (list sock) :: all sockets
^- (list sock) :: all sockets
=| sox=(list sock) :: XX hideous
|- ^+ sox
|- ^+ sox
?~ zac.fox sox
=. sox $(zac.fox l.zac.fox)
=. sox $(zac.fox r.zac.fox)
|- ^+ sox
?~ wab.q.n.zac.fox sox
=. sox $(wab.q.n.zac.fox l.wab.q.n.zac.fox)
=. sox $(wab.q.n.zac.fox r.wab.q.n.zac.fox)
=. sox $(wab.q.n.zac.fox l.wab.q.n.zac.fox)
=. sox $(wab.q.n.zac.fox r.wab.q.n.zac.fox)
[[p.n.zac.fox p.n.wab.q.n.zac.fox] sox]
::
++ have :: have:am
++ have :: have:am
|= [our=ship buq=buck] :: acquire license
^- [p=(list boon) q=fort]
=: ton.fox (~(ha go ton.fox) our buq)
@ -1016,7 +1016,7 @@
=+ sox=hall
=| bin=(list boon)
|- ^- [p=(list boon) q=fort]
?~ sox
?~ sox
=^ ban fox (kick hen)
[(weld bin p.ban) fox]
=^ bun fox zork:zank:thaw:(ho:(um p.i.sox) q.i.sox)
@ -1064,7 +1064,7 @@
?~ rix [~ +>.$]
:- rix
%_ +>.$
ryl.bah
ryl.bah
(~(put by ryl.bah) cha rol(san (~(del by san.rol) num)))
==
::
@ -1075,14 +1075,14 @@
|= [sin=skin msg=@] :: receive
^+ +>
=< apse
|%
|%
++ apse
^+ +>.$
=+ oub=bust:puz
=+ neg==(~ yed.caq.dur.diz)
=. +>.$ east
=+ eng==(~ yed.caq.dur.diz)
=. puz (bilk:puz now)
=. puz (bilk:puz now)
=+ bou=bust:puz
=. bin
?. &(oub !bou) bin
@ -1095,7 +1095,7 @@
++ east
^+ +>.$
?- sin
%none
%none
:: ~& %chew-none
(chow ((hard meal) (cue msg)))
::
@ -1117,7 +1117,7 @@
=. +>.$ enuf
(west(msg q.mes) p.mes)
::
%open
%open
:: ~& %chew-open
(west *code)
==
@ -1137,7 +1137,7 @@
(chow(aut sin) mal)
--
::
++ chow :: chow:la:ho:um:am
++ chow :: chow:la:ho:um:am
|= fud=meal :: interpret meal
^+ +>
=. diz ?:(=(%none aut) diz (wast:diz ryn))
@ -1153,15 +1153,15 @@
|= [cha=path rum=race] :: update input race
^+ +>
=+ cun=(~(get by mis.rum) did.rum)
?~ cun
?~ cun
+>.$(raz.bah (~(put by raz.bah) cha rum))
=. +>.$ cock(kay p.u.cun, dam q.u.cun)
=. +>.$ ?. =(%good p.u.cun) +>.$
=. +>.$ ?. =(%good p.u.cun) +>.$
?> ?=(^ r.u.cun)
%- emit
^- boon
:^ %milk
[our her]
[our her]
`soap`[[p:sen:gus clon:diz] cha did.rum]
u.r.u.cun
%= $
@ -1184,7 +1184,7 @@
^+ +>
?- -.fud
%back
:: ~& [%back aut her ryn `@p`(mug dam)]
:: ~& [%back aut her ryn `@p`(mug dam)]
=. +> ?.(=(%full aut) +> cock) :: finish key exch
+>(..la (tuck p.fud q.fud r.fud))
::
@ -1221,12 +1221,12 @@
::
%fore
=+ ^= lyn ^- lane
?~ q.fud ryn
?~ q.fud ryn
?. ?=(%if -.u.q.fud) u.q.fud
[%ix now +.u.q.fud]
:: u.q.fud
?: =(our p.fud)
(emit %mead lyn r.fud)
(emit %mead lyn r.fud)
=+ zid=(myx:gus p.fud)
(emir (wist:zid now xong:zid [~ lyn] r.fud))
==
@ -1238,12 +1238,12 @@
::
++ emit :: emit:la:ho:um:am
|= bun=boon :: emit a boon
+>(bin [bun bin])
+>(bin [bun bin])
::
++ enuf :: enuf:la:ho:um:am
%_(. puz (bilk:puz now)) :: heard fast on
::
++ golf :: golf:la:ho:um:am
++ golf :: golf:la:ho:um:am
|= [sin=skin duv=dove] :: assemble fragments
^+ +>
%+ chew sin
@ -1266,10 +1266,10 @@
^+ +>
?. ?& =(~ puq.puz)
?| bust:puz
?=(~ rue.puz)
?=(~ rue.puz)
(gth now (add ~s32 u.rue.puz))
(lth u.rue.puz hop.fox)
==
(lth u.rue.puz hop.fox)
==
== +>.$
(wool [/a hen] /q/pi ~)
::
@ -1278,7 +1278,7 @@
=+ oub=bust:puz
=^ yem puz (wack:puz now)
=+ bou=bust:puz
=. bin
=. bin
?. &(bou !oub) bin
:_(bin [%wine [our her] " not responding still trying"])
@ -1287,7 +1287,7 @@
::
++ tuck :: tuck:ho:um:am
|= [kay=cape fap=flap cot=@dr] :: ack by hash
^+ +>
^+ +>
=^ yoh puz (bick:puz now fap)
=. +>.$
?~ p.yoh +>.$
@ -1316,7 +1316,7 @@
?~(rol *rill u.rol)
=+ sex=sed.rol
:: ~& [%tx [our her] cha sex]
=. ryl.bah
=. ryl.bah
%+ ~(put by ryl.bah) cha
rol(sed +(sed.rol), san (~(put by san.rol) sex hen))
=+ cov=[p=p:sen:gus q=clon:diz]
@ -1338,7 +1338,7 @@
:- %qup
%+ turn qup
|= [a=@ud b=soul]
:* a
:* a
nux.b
liv.b
lys.b
@ -1350,7 +1350,7 @@
:- %raz
=+ zar=(~(tap by raz.bah) ~)
%+ turn zar
|= [a=path b=race]
|= [a=path b=race]
:+ a
did.b
=+ ciy=(~(tap by mis.b) ~)
@ -1359,7 +1359,7 @@
[c p.d q.d]
::
[%ryl (~(tap to ryl.bah) ~)]
[%lun lun.wod.dur.diz]
[%lun lun.wod.dur.diz]
[%caq caq.dur.diz]
[%lew lew.wod.dur.diz]
==
@ -1382,7 +1382,7 @@
::
++ pals :: pals:um:am
^- (list ,@p) :: active neighbors
%+ turn
%+ turn
%+ skim (~(tap by wab.weg) ~)
|= [a=ship b=bath]
!(~(boom pu sop.b) now)
@ -1406,12 +1406,12 @@
. ==
::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 4aH, protocol vane ::
::
::
=| $: fox=fort :: kernel state
== ::
|= [now=@da eny=@ sky=||(* (unit))] :: current invocation
^? :: opaque core
=<
=<
|% :: vane interface
++ beat
|= [wru=(unit writ) tea=wire hen=duct fav=curd]
@ -1421,7 +1421,7 @@
(knap wru tea hen fav)
[duy ..^$]
::
++ come
++ come
|= old=vase
^- vane
~|(%load-nest-ames !!)
@ -1449,7 +1449,7 @@
(come new)
..^$(fox ~(boot am [now (fort q.new)]))
::
++ raze
++ raze
^- vane
..$(fox *fort)
::
@ -1490,14 +1490,14 @@
:: ==
==
::
%coke
%coke
:: ~& [%tz p.bon q.bon r.bon]
:_ fox
:~ [[~ %iron p.p.bon] s.bon [%went q.p.bon r.bon]]
==
::
%mead :_(fox [[wru hen [%hear p.bon q.bon]] ~])
%milk
%milk
:: ~& [%rx p.bon q.bon]
?> ?=([@ *] q.q.bon)
?: ?=(%r i.q.q.bon)
@ -1519,7 +1519,7 @@
?+ i.t.q.q.bon
:_ fox
:~ :+ [~ %iron p.p.bon]
(claw p.p.bon)
(claw p.p.bon)
`card`[%wart q.p.bon i.t.q.q.bon t.t.q.q.bon r.bon]
==
::
@ -1557,11 +1557,11 @@
[%want him /q/yu [q.p.bon r.bon]]
==
::
%ouzo
%ouzo
:: ~& [%send now p.bon `@p`(mug (shaf %flap q.bon))]
:_ fox
[[wru hen [%send p.bon q.bon]] ~]
::
::
%wine
:_ fox
=+ nym=(temp p.p.bon q.p.bon /name)
@ -1570,7 +1570,7 @@
:+ %flog %text
;: weld
"; "
?: |(?=(~ nym) =(%$ u.nym)) fom
?: |(?=(~ nym) =(%$ u.nym)) fom
:(weld fom " " (trip ((hard ,@) u.nym)))
q.bon
==
@ -1583,7 +1583,7 @@
?: ?=([%crud *] fav)
[[[wru [/d hen] [%flog fav]] ~] +>]
=+ ^= fuy ^- [p=(list boon) q=fort]
?+ -.fav
?+ -.fav
[~ fox]
::
%cash

114
arvo/batz.hoon
View File

@ -20,7 +20,7 @@
==
++ brad :: session/dynamic
$: fog=(list ,@ud) :: task consoles
fen=(map ,@tas ,@ud) :: named tasks
fen=(map ,@tas ,@ud) :: named tasks
hox=@ta :: identity text
cws=path :: working spur
cwd=@tas :: working desk
@ -29,14 +29,14 @@
war=(map ,@tas coal) :: variables
sac=(list skit) :: library stack
sev=(map ,@tas (set ,[p=@ud q=@ud r=wire])) :: message servers
tem=(map ,[p=@ud q=@ud r=wire] ,@da) :: timeouts
tem=(map ,[p=@ud q=@ud r=wire] ,@da) :: timeouts
hit=[p=@ud q=(list ,@t)] :: command history
sur=[p=@ud q=(qeu vase)] :: result history
god=[p=@ud q=(map ,@ud task)] :: task state
== ::
:: ::
++ bran :: static "state"
$: nub=vase ::
$: nub=vase ::
^= vax :: chestnut vases
$: sot=vase :: 'slot'
== ::
@ -79,13 +79,13 @@
|%
++ be :: repl/shell
|= brat :: core state
|= [now=@da eny=@ sky=_|+(* *(unit))]
|= [now=@da eny=@ sky=_|+(* *(unit))]
=+ wen=(scot %da now)
=+ wer=`path`[hox cwd wen cws]
=+ rew=(flop wer)
=+ vez=(vang | wer)
|%
++ abet `brat`+<.^$ :: abet:be
++ abet `brat`+<.^$ :: abet:be
++ fang :: fang:be
|= [gyp=@ud ted=@ud lap=wire] :: validate waiter
^- ? :: XX hack
@ -158,7 +158,7 @@
^- [p=(list move) q=brat]
?: ?=([%crud *] fav)
[[[[~ %iron who] [/d hen] [%flog fav]] ~] +<.^^$]
?+ -.fav
?+ -.fav
[[[[~ %iron who] hen fav] ~] +<.^^$]
%hail [[[[~ %iron who] hen [%helo prot]] ~] +<.^^$]
%line =+ gyp=?>(?=(^ fog) i.fog)
@ -179,9 +179,9 @@
abet:lash:(lean tea hen fav)
%waft :: ~& [%leap-waft fav]
abet:lash:(lean tea hen fav)
%went ?. (fear tea)
%went ?. (fear tea)
~& [%went-fear tea]
[~ +<.^^$]
[~ +<.^^$]
abet:lash:(lean tea hen fav)
%writ abet:lash:(loam tea hen +.fav)
%wart (lion hen +.fav)
@ -197,14 +197,14 @@
::
++ levo :: levo:be
|= [hen=duct pre=tape him=@p val=*] :: default message
^- [(list move) brat]
^- [(list move) brat]
=+ fom=?:(=(0 val) "remains quietly present" (trip ((hard ,@) val)))
:_ +<.^^$
=+ fom=(trip ((hard ,@) val))
^- (list move)
:~ :+ [~ %iron who] [/d hen]
:+ %flog %text
;: weld
;: weld
pre
(scow %p him)
": "
@ -243,7 +243,7 @@
:- /
:+ %text
;: weld
(trip (rap 3 [hox '/' cwd ~]))
(trip (rap 3 [hox '/' cwd ~]))
?~(loq "=" (scow u.loq))
?~(cws "" (spud cws)) "> "
==
@ -257,7 +257,7 @@
^- [(list move) brat] :: resolve
=+ ^= fod ^+ [p=fog q=q.god]
?~ q.wip.gyr
:- (skip fog |=(a=@ud =(a gyp)))
:- (skip fog |=(a=@ud =(a gyp)))
(~(del by q.god) gyp)
:- ?:((lien fog |=(a=@ud =(a gyp))) fog [gyp fog])
q=(~(put by q.god) gyp gyr)
@ -266,7 +266,7 @@
q.god q.fod
==
:_ +<.^^$
%+ turn
%+ turn
(flop `_duv`?:(sam duv [[~ [%helo prot]] duv]))
|=([p=duct q=card] [[~ %iron who] (weld p hen) q])
::
@ -275,7 +275,7 @@
|= lin=@t :: command
^+ +>
=+ ryg=~(top to paq.gyr)
?~ ryg
?~ ryg
+>.$
abet:abet:(pong:(ox:(past p.u.ryg) q.u.ryg) [%line lin])
::
@ -283,7 +283,7 @@
|= lin=@t :: input line
^+ +>
=+ zif=((full lark:lo) [1 1] (trip lin))
?~ q.zif
?~ q.zif
=+ duf=[p=~(rend co ~ %ud p.p.zif) q=~(rend co ~ %ud q.p.zif)]
(warn "<syntax error at [{p.duf} {q.duf}]>")
?~ p.u.q.zif
@ -296,7 +296,7 @@
%= +>
duv :_(duv [[/b ~] [%hail ~]])
paq.gyr
%- ~(gas to *(qeu gyro))
%- ~(gas to *(qeu gyro))
%+ skip
(~(tap to paq.gyr) *(list gyro))
|=(a=gyro &(=(ted p.a) =(lap q.a)))
@ -329,17 +329,17 @@
^+ +>
(limp q.kal)
::
++ limp :: limp:fi:be
++ limp :: limp:fi:be
|= kaw=(list lath) :: start pipeline
^+ +>
?~ kaw +>
$(kaw t.kaw, +>.$ (pant i.kaw ?:(=(~ t.kaw) ~ [~ +(p.wip.gyr)])))
::
++ pant :: pant:fi:be
++ pant :: pant:fi:be
|= [lat=lath nex=(unit ,@ud)] :: start thread
%= +>
p.wip.gyr +(p.wip.gyr)
q.wip.gyr
q.wip.gyr
(~(put by q.wip.gyr) p.wip.gyr [nex ~ [~ ~ ~ %n ~ *claw lat]])
==
::
@ -450,7 +450,7 @@
|= [gez=(list path) hog=boar]
=| [inx=@ud err=(list path) bez=(map ,@ud kite)]
|- ^+ +>.^$
?~ gez
?~ gez
?: =(~ err)
+>.^$(orb [bez ~ ~ hog])
|- ^+ +>.^^$
@ -458,7 +458,7 @@
$(err t.err, ..ra (warn (spud i.err)))
=+ myt=(tame i.gez)
?~ myt
$(gez t.gez, err [i.gez err])
$(gez t.gez, err [i.gez err])
%= $
gez t.gez
inx +(inx)
@ -478,7 +478,7 @@
:- %leaf
;: weld
(spud q.sik)
?~(p.sik "=" (spud u.p.sik ~))
?~(p.sik "=" (spud u.p.sik ~))
(spud r.sik)
"/hoon"
==
@ -505,7 +505,7 @@
[%clsg (turn pax |=(a=@ta [%dtpt %ta a]))]
::
++ gram :: add action
|= [hom=duct fav=card]
|= [hom=duct fav=card]
%_(+> duv [[hom fav] duv])
::
++ gran :: add actions
@ -549,10 +549,10 @@
?. =(~ p.orb) +
=+ hog=s.orb
?- -.hog
%n :: new
%n :: new
=+ gen=?:(?=(0 -.r.hog) s.r.hog p.r.hog)
?~ joy.q.hog
=^ juy +.$ glee
=^ juy +.$ glee
?~ juy +.$
$(s.orb hog(joy.q [~ (need (mang [food:zu war u.juy] sky))]))
?~ ran.q.hog
@ -564,8 +564,8 @@
$(s.orb [%r ~])
?: ?=(2 -.r.hog)
$(s.orb [%t u.ran.q.hog])
?~ pux.q.hog
=^ wim +.$
?~ pux.q.hog
=^ wim +.$
(gray (mong [slap u.joy.q.hog (grab q.r.hog)] sky))
?~ wim +.$
$(s.orb hog(pux.q [~ ((hard path) +.u.wim)]))
@ -604,14 +604,14 @@
=^ neb q.orb ~(get to q.orb)
=+ pun=q.p.neb
?> ?=(%pipe -.pun)
?~ p.pun
?~ p.pun
=. +.$ (gybe ~)
$(s.orb [%r ~])
%+ grid (mong [slit -.p.hog p.u.p.pun] sky)
|= noy=typo
=| zil=(list)
|- ^+ +.^^$
?~ q.u.p.pun
?~ q.u.p.pun
(gybe ~ noy (flop zil))
%+ grid (mong [slam [p.hog [p.u.p.pun i.q.u.p.pun]]] sky)
|= zom=*
@ -622,7 +622,7 @@
|= [sot=? pax=path boy=coal]
^- [(unit ,[p=? q=coal]) _+>]
=+ wiz=(~(get by p.pyr) wer pax boy)
?^ wiz [[~ & u.wiz] +>.$]
?^ wiz [[~ & u.wiz] +>.$]
=^ gar +>.$ (gray (mong [fuss:zu sot pax] sky))
?~ gar [~ +>.$]
=> .(gar ((hard (unit ,[p=@uvI q=*])) u.gar))
@ -655,7 +655,7 @@
|= [mod=(list ,@tas) pax=path]
^- [(unit coal) _+>]
=+ ^= paw ^- (list path)
=+ :* mog=`path`~[hox %main wen]
=+ :* mog=`path`~[hox %main wen]
rim=(scag 2 pax)
==
:* (weld (scag 3 pax) `path`[%con ~])
@ -688,7 +688,7 @@
yop t.yop
..guff (gulf (bist %au (scot %ud p.i.yop) ~) q.i.yop)
==
::
::
++ gull :: request control
|= [tea=wire him=ship ryf=riff]
(gram ~[/c [%b tea]] [%warp him ryf])
@ -718,7 +718,7 @@
(~(del in yes) gyp ted lap)
==
::
++ gush
++ gush
|= [wak=@da gyp=@ud ted=@ud lap=wire]
^+ +>
+>.$(tem (~(put by tem) [gyp ted lap] wak))
@ -767,7 +767,7 @@
~& [%cc p.gud]
=+ hyz=(sky %cy gasp(loq p.gud))
?~ hyz ~|(%case-none !!)
+>.^$(loq p.gud)
+>.^$(loq p.gud)
%ck +>.^$(cwd p.gud)
%cs +>.^$(cws p.gud)
%de (gram ~ %note '#' q.gud)
@ -794,7 +794,7 @@
%va !!
%xx (gram ~ p.gud)
%xy (gram [p.gud /b ~] q.gud)
==
==
==
::
++ hale :: process gifts
@ -889,8 +889,8 @@
:- ~
?> ?=(%ud -.q.p.u.p.fav)
%= u.lug
p.p.r
?> ?| !=(%ud -.p.p.r.u.lug)
p.p.r
?> ?| !=(%ud -.p.p.r.u.lug)
=(p.p.p.r.u.lug p.q.p.u.p.fav)
==
[%ud +(p.q.p.u.p.fav)]
@ -930,7 +930,7 @@
?> ?=(%went -.fav)
+>.$(+>.$ (glib lap [%ow q.fav]))
::
%wa
%wa
?> ?=(%wake -.fav)
+>.$(+>.$ (glib lap [%wa ~]))
==
@ -952,7 +952,7 @@
[[%cnbc (sub i.coo 32)] [%dtpt %f |]]
::
++ cone :: parse conf
%+ cook
%+ cook
|= a=(list (list ^cone))
?~ a ~
?~(i.a $(a t.a) [i.i.a $(i.a t.i.a)])
@ -960,7 +960,7 @@
;~ pose
;~(plug (ifix [kel ker] (stag %| (most ace sym))) (easy ~))
::
;~ plug
;~ plug
(ifix [sel ser] (stag %& (stag %cltr (most ace wide:vez))))
(easy ~)
==
@ -1039,8 +1039,8 @@
==
==
::
++ lute
%+ cook
++ lute
%+ cook
|= a=(list lath) ^+ a
=+ b=(flop a)
?.(&(?=(^ b) ?=(2 -.i.b)) b [[%1 p.i.b] t.b])
@ -1056,13 +1056,13 @@
::
++ zu :: user level
|%
++ fane :: deliver note
++ fane :: deliver note
|= [pux=path nog=nose tas=vase]
^- vase
%+ slam tas
;: slop
[[%atom %da] now]
[pah.typ pux]
[[%atom %da] now]
[pah.typ pux]
[noq.typ nog]
==
::
@ -1071,8 +1071,8 @@
^- vase
%+ slam
%+ slam gum
%+ slop
[[%atom %da] now]
%+ slop
[[%atom %da] now]
[[%atom %$] (shax :(mix eny now (shax p.god)))]
arg
::
@ -1099,7 +1099,7 @@
=+ voy=(~(tap to q.sur) ~)
|- ^- vase
?~(voy [[%atom %n] ~] (slop i.voy $(voy t.voy)))
::
::
?~ war
vax
%- slop
@ -1181,7 +1181,7 @@
=+ suy=|-(`brad`?~(dos !! ?.(=(q.i.fiy p.i.dos) $(dos t.dos) q.i.dos)))
=+ geb=((be [[q.i.fiy bred] suy]) now eny sky)
=+ ^= yub ^- [p=(list move) q=brat]
?. (fang:geb r.i.fiy)
?. (fang:geb r.i.fiy)
~& [%time-lost r.i.fiy]
[~ abet:(flub:geb r.i.fiy)]
(lake:geb p.i.fiy r.i.fiy)
@ -1192,14 +1192,14 @@
==
=+ dus=(~(get by dez) hen)
?~ dus
?+ -.fav
?+ -.fav
~& [%beat-none -.fav tea hen]
~|([%beat-none -.fav] !!)
::
%init
=+ bos=(sein p.fav)
=+ bos=(sein p.fav)
=. bos ?.(=(bos p.fav) bos ~zod)
?~ wru !!
?~ wru !!
:- :- [wru hen fav]
?: =(bos p.fav) ~
:_ ~
@ -1224,9 +1224,9 @@
..^$(dez (~(put by dez) hen [[p.i.u.dus +.q.yub] t.u.dus]))
::
%init
=+ bos=(sein p.fav)
=+ bos=(sein p.fav)
=. bos ?.(=(bos p.fav) bos ~zod)
?~ wru !!
?~ wru !!
:- :* [wru hen fav]
[wru [[%b tea] hen] [%hail ~]]
?: =(bos p.fav) ~
@ -1239,7 +1239,7 @@
$(fav [%hail ~], dez (~(put by dez) hen (weld t.u.dus [i.u.dus ~])))
==
::
++ come
++ come
|= old=vase
^- vane
~|(%load-nest-bede !!)
@ -1269,10 +1269,10 @@
|= new=vase
^- vane
?. (~(nest ut -:!>(dez)) & p.new)
(come new)
(come new)
..^$(dez ((map duct brim) q.new))
::
++ raze
++ raze
^- vane
..$(dez ~)
::

60
arvo/clay.hoon
View File

@ -15,7 +15,7 @@
=+ yar=(~(get by fat.ruf) who)
?~(yar *room u.yar)
=| yel=(list ,[p=duct q=card])
=| byn=(list ,[p=duct q=riot])
=| byn=(list ,[p=duct q=riot])
=| vag=(list ,[p=duct q=card])
=| say=(list ,[p=duct q=ship r=[p=@ud q=riff]])
|%
@ -26,16 +26,16 @@
%+ turn (flop yel)
|=([a=duct b=card] [[~ %gold who] hun.yar b])
::
%+ turn (flop byn)
%+ turn (flop byn)
|=([a=duct b=riot] [[~ %gold who] a [%writ b]])
::
%+ turn (flop vag)
%+ turn (flop vag)
|=([a=duct b=card] [[~ %gold who] a b])
::
%+ turn (flop say)
|= [a=duct b=ship c=[p=@ud q=riff]]
:+ [~ %gold who]
[/a a]
%+ turn (flop say)
|= [a=duct b=ship c=[p=@ud q=riff]]
:+ [~ %gold who]
[/a a]
[%want b [%q %re p.q.c (scot %ud p.c) ~] q.c]
==
::
@ -64,9 +64,9 @@
|- ^- (list ,[p=@tas q=path r=rave])
?~ xiq ^$(sod t.sod)
=+ nex=$(xiq t.xiq)
?. ?& ?=([[%c @ *] *] p.i.xiq)
?. ?& ?=([[%c @ *] *] p.i.xiq)
=(sim i.t.i.p.i.xiq)
== nex
== nex
[[p.i.sod t.t.i.p.i.xiq q.i.xiq] nex]
::
:- %know
@ -110,7 +110,7 @@
(~(put by rid.yar) for (~(put by rob) syd `rede`+<+>.abet))
==
::
++ aver :: read
++ aver :: read
|= mun=mood
^- (unit (unit ,*))
=+ ezy=?~(ref ~ (~(get by haw.u.ref) mun))
@ -138,9 +138,9 @@
hip t.hip
ins +(ins)
+> (blab hen [%w [%ud ins] ~] i.hip)
==
==
::
++ blob :: ship stop
++ blob :: ship stop
|= hen=duct
%_(+> byn [[hen ~] byn])
::
@ -199,7 +199,7 @@
?- -.rav
&
=+ ver=(aver p.rav)
?~ ver
?~ ver
(duce hen rav)
?~ u.ver
(blob hen)
@ -218,7 +218,7 @@
=+ wid=(sub top u.nab)
=+ fud=(flop (scag wid seb))
=. +>.$ (bleb hen u.nab fud)
?^ huy
?^ huy
(blob hen)
=+ ^= ptr ^- case
?: =(0 u.nab) [%da @da]
@ -246,7 +246,7 @@
==
==
::
++ edit :: apply changes
++ edit :: apply changes
|= [wen=@da lem=nori]
^+ +>
+>(dom +<+:(~(axel ze lim dom) wen lem))
@ -262,17 +262,17 @@
=+ ruv=(~(get by bom.u.ref) inx)
?~ ruv +>.$
=> ?. |(?=(~ rot) ?=(& -.q.u.ruv)) .
%_ .
%_ .
bom.u.ref (~(del by bom.u.ref) inx)
fod.u.ref (~(del by fod.u.ref) p.u.ruv)
==
?~ rot
=+ rav=`rave`q.u.ruv
%= +>.$
lim
lim
?.(&(?=(| -.rav) ?=(%da -.q.p.rav)) lim `@da`p.q.p.rav)
::
haw.u.ref
haw.u.ref
?. ?=(& -.rav) haw.u.ref
(~(put by haw.u.ref) p.rav ~)
==
@ -295,12 +295,12 @@
=+ xiq=(~(tap by qyx) ~)
=| xaq=(list ,[p=duct q=rave])
|- ^+ ..wake
?~ xiq
?~ xiq
..wake(qyx (~(gas by *cult) xaq))
?- -.q.i.xiq
&
=+ cas=?~(ref ~ (~(get by haw.u.ref) `mood`p.q.i.xiq))
?^ cas
?^ cas
%= $
xiq t.xiq
..wake ?~ u.cas (blob p.i.xiq)
@ -372,10 +372,10 @@
::
%deem
~& [%beat-deem wru hen]
=. wru
=. wru
?^ wru wru
?. =(%gold (adit hen)) ~
[~ %gold p.fav]
[~ %gold p.fav]
$(fav q.fav)
::
%init
@ -383,16 +383,16 @@
[~ ..^$(fat.ruf (~(put by fat.ruf) q.u.wru [hen ~ ~ ~]))]
::
?(%info %into)
=. wru
=. wru
?^ wru wru
?. =(%gold (adit hen)) ~
[~ %gold p.fav]
[~ %gold p.fav]
?> =(q.u.wru p.fav)
?: =(%$ q.fav)
?. ?=(%into -.fav) [~ ..^$]
=+ yar=(need (~(get by fat.ruf) p.fav))
[~ ..^$(fat.ruf (~(put by fat.ruf) p.fav yar(hez [~ hen])))]
=^ mos ruf
=^ mos ruf
=+ ^= zot
abet:(exec:(di:wake:(un q.u.wru now ruf) q.fav) hen now r.fav)
abet:zot(hez.yar ?.(=(%into -.fav) hez.yar.zot [~ hen]))
@ -427,7 +427,7 @@
?> ?=(%re q.fav)
=+ ryf=((hard riff) s.fav)
:_ ..^$
:~ :+ [~ %iron q.u.wru]
:~ :+ [~ %iron q.u.wru]
[/c [%c (scot %p p.fav) r.fav] hen]
`card`[%warp q.u.wru ryf]
==
@ -450,12 +450,12 @@
=+ dal=(turn (~(tap by fat.ruf) ~) |=([a=@p b=room] a))
=| mos=(list move)
|- ^- [p=(list move) q=vane]
?~ dal [mos ..^^$(las.ruf now)]
?~ dal [mos ..^^$(las.ruf now)]
=^ som ruf abet:wake:(un i.dal now ruf)
$(dal t.dal, mos (weld som mos))
==
::
++ come
++ come
|= old=vase
^- vane
~|(%load-nest-clay !!)
@ -474,7 +474,7 @@
|= new=vase
^- vane
?. (~(nest ut -:!>(ruf)) & p.new)
(come new)
(come new)
..^$(ruf (raft q.new))
::
++ raze
@ -488,7 +488,7 @@
?~ luk ~
=+ une=(un our now ruf)
?: =(%$ ren)
(zeta:une his syd u.luk tyl)
(zeta:une his syd u.luk tyl)
=+ run=((soft care) ren)
?~ run ~
=+ ^= vyr

28
arvo/dill.hoon
View File

@ -108,7 +108,7 @@
q.r.q.yar 0
r.r.q.yar [txt r.r.q.yar]
==
::
::
++ look :: search in history
|= [hup=@ud txt=(list ,@c)]
^+ +>
@ -124,7 +124,7 @@
?: (mid txt but)
(gore(hyr.u.q.q.yar [~ txt]) hup)
$(hup +(hup))
::
::
++ leap :: terminal event
|- ^+ +
?+ -.fav +(mos :_(mos [wru hen fav]))
@ -182,8 +182,8 @@
%= u.q.q.yar
bus (dec bus.u.q.q.yar)
bul (dec bul.u.q.q.yar)
but
%+ weld
but
%+ weld
(scag (dec bus.u.q.q.yar) but.u.q.q.yar)
(slag bus.u.q.q.yar but.u.q.q.yar)
==
@ -208,7 +208,7 @@
bul bus.u.q.q.yar
but (scag bus.u.q.q.yar but.u.q.q.yar)
==
%l +.$(mos :_(mos [~ hen %blit [[%clr ~] ~]]))
%l +.$(mos :_(mos [~ hen %blit [[%clr ~] ~]]))
%n $(fav [%belt %aro %d])
%p $(fav [%belt %aro %u])
%u ?: =(0 bus.u.q.q.yar)
@ -234,8 +234,8 @@
%- edit
%= u.q.q.yar
bul (dec bul.u.q.q.yar)
but
%+ weld
but
%+ weld
(scag bus.u.q.q.yar but.u.q.q.yar)
(slag +(bus.u.q.q.yar) but.u.q.q.yar)
==
@ -243,7 +243,7 @@
%met :: meta
?+ p.p.fav
beep
%y
%y
?: =(0 p.r.q.yar)
beep
=+ dol=(snag q.r.q.yar r.r.q.yar)
@ -275,9 +275,9 @@
q.q.yar ~
r.yar
?: |(=(%$ jab) =(%pass buy.u.q.q.yar))
r.yar
r.yar
%+ ~(put by r.yar)
hux.u.q.q.yar
hux.u.q.q.yar
[p.hyt.u.q.q.yar [jab ?~(q.hyt.u.q.q.yar ~ +.q.hyt.u.q.q.yar)]]
::
mos
@ -296,7 +296,7 @@
%= u.q.q.yar
bus (add let bus.u.q.q.yar)
bul (add let bul.u.q.q.yar)
but
but
;: weld
(scag bus.u.q.q.yar but.u.q.q.yar)
p.p.fav
@ -367,8 +367,8 @@
..^$(dug ?.(wip (~(put by dug) hen yar) (~(del by dug) hen)))
--
::
++ come
|= old=vase
++ come
|= old=vase
^- vane
~|(%load-nest-dill !!)
::
@ -387,7 +387,7 @@
dug ((map duct yard) q.new)
==
::
++ raze
++ raze
^- vane
..$(dug ~)
::

6
arvo/eyre.hoon
View File

@ -116,7 +116,7 @@
==
=+ het=`hate`[pul (shaf %this q.fav) [p.r.fav mah s.r.fav]]
=+ gew=`(list ,[p=duct q=(list rout)])`(~(tap by wig) ~)
=+ ^= faw
=+ ^= faw
|- ^- (list ,[p=duct q=scud])
?~ gew ~
=+ mor=$(gew t.gew)
@ -134,7 +134,7 @@
..^$(p.giv +(p.giv), q.giv (~(put by q.giv) p.giv hen))
==
::
++ come
++ come
|= old=vase
^- vane
~|(%load-nest-eyre !!)
@ -152,7 +152,7 @@
(come new)
..^$(+>- (bolo q.new))
::
++ raze
++ raze
^- vane
..$(+>- *bolo)
::

678
arvo/hoon.hoon
View File

File diff suppressed because it is too large Load Diff

204
arvo/zuse.hoon
View File

@ -13,12 +13,12 @@
=+ [c=(sun a) d=(sun b)]
=+ [u=[c=(sun 1) d=--0] v=[c=--0 d=(sun 1)]]
|- ^- [d=@ u=@ v=@]
?: =(--0 c)
?: =(--0 c)
[(abs d) d.u d.v]
:: ?> ?& =(c (sum (pro (sun a) c.u) (pro (sun b) c.v)))
:: =(d (sum (pro (sun a) d.u) (pro (sun b) d.v)))
:: ==
=+ q=(fra d c)
:: ==
=+ q=(fra d c)
%= $
c (dif d (pro q c))
d c
@ -120,7 +120,7 @@
::
++ exp
|= [c=@ d=[@ @]]
:- (~(exp fo p.a) (mod c (dec p.a)) -.d)
:- (~(exp fo p.a) (mod c (dec p.a)) -.d)
(~(exp fo q.a) (mod c (dec q.a)) +.d)
::
++ out :: garner's formula
@ -177,7 +177,7 @@
(out.s.u.pon (exp.s.u.pon q.r.u.pon (sit.s.u.pon a)))
--
|%
++ de
++ de
|+ [key=@ cep=@] ^- (unit ,@)
=+ toh=(met 8 cep)
?: (lth toh 2)
@ -206,7 +206,7 @@
--
::
++ mx (dec (met 0 mos))
++ nu
++ nu
=> |%
++ elcm
|= [a=@ b=@]
@ -234,7 +234,7 @@
..nu(mos (mul d e), pon [~ (ersa d e)])
::
++ nol
|= a=@
|= a=@
^+ ^?(..nu)
=+ b=((hard ,[p=@ q=@]) (cue a))
..nu(mos (mul p.b q.b), pon [~ (ersa p.b q.b)])
@ -282,7 +282,7 @@
=+ gox=?:(det [p=bod q=0] ((hard ,[p=@ q=@]) (cue bod)))
=+ dog=(punt p.gox)
=+ pig=(dap mx 256 dog)
?: det
?: det
[~ p.pig q.pig]
=+ cow=(de p.pig q.gox)
?~(cow ~ [~ p.pig u.cow])
@ -402,7 +402,7 @@
::
++ xmln :: name to tape
|= man=mane ^- tape
?@ man (trip man)
?@ man (trip man)
(weld (trip -.man) [':' (trip +.man)])
::
++ xmll :: nodes to tape
@ -438,7 +438,7 @@
::
++ curl :: invert soba
|= doz=soba
:- [q.p.doz p.p.doz]
:- [q.p.doz p.p.doz]
(turn (flop q.doz) |=([a=path b=miso] [a (cure b)]))
::
++ cosh :: locally rehash
@ -462,7 +462,7 @@
?~ hit [~ let]
?: (gte p.lok p.i.hit) [~ let]
$(hit t.hit, let (dec let))
::
::
%tas (~(get by lab) p.lok)
%ud ?:((gth p.lok let) ~ [~ p.lok])
==
@ -526,7 +526,7 @@
|= $: yop=(map path (list udon)) :: yop before peq
peq=(map path (list udon))
==
=+ puy=(~(tap by yop) ~)
=+ puy=(~(tap by yop) ~)
|- ^+ peq
?~ puy peq
%= $
@ -545,7 +545,7 @@
^- [p=woof q=_wig]
?~ wig [~ ~]
?: =([%& 0] i.wig) $(wig t.wig)
?~ dog
?~ dog
?- -.i.wig
& $(dog [p.i.wig ~])
| $(dog [(lent p.i.wig) ~])
@ -605,14 +605,14 @@
$(heb t.heb, weq (loch (lith i.heb) weq))
::
++ lyre :: put yeb before zeq
|= [yeb=(list udon) zeq=(list udon)]
|= [yeb=(list udon) zeq=(list udon)]
^- (list udon)
?~ yeb zeq
?~ zeq yeb
?: =(i.yeb i.zeq) $(yeb t.yeb, zeq t.zeq)
=+ ump=p.i.yeb
(lobe ump (loup (lobo ump yeb) (lobo ump zeq)))
::
::
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
++ amor :: amor:ze
|= ren=?(%v %x %y %z) :: endpoint query
@ -670,7 +670,7 @@
:: ~& [%auld p.mus q.mus [%too r.mus] [%fro s.mus]]
=+ kat=(alar s.sab)
=+ lem=`nori`[%& [~ mus] `soba`[[@ @] kat]]
?: =(let p.viq)
?: =(let p.viq)
:: ~& [%nice let]
[~ ~ lem] :: perfect fit
=+ paj=(axel:(argo p.viq) wen lem) :: XX !!
@ -679,7 +679,7 @@
[~ ~ lem(q.q ~)]
=+ ^= tak
%- alar %- flop
%+ turn (scag (sub let p.viq) hit)
%+ turn (scag (sub let p.viq) hit)
|=(a=frog q.a)
=+ tig=(mang [arum tak kat] |=(* *(unit)))
?^ tig [~ ~ lem(q.q ((hard (list tako)) u.tig))]
@ -707,7 +707,7 @@
=+ nao=(aeon q.mun)
?~(nao ~ [~ (avid u.nao mun)])
::
++ avid :: avid:ze
++ avid :: avid:ze
|= [oan=@ud mun=mood] :: seek and read
^- (unit)
?: &(?=(%w p.mun) !?=(%ud -.q.mun)) :: NB only for speed
@ -766,7 +766,7 @@
?> &(?=(^ ram) =(lol i.ram))
%= +>
ram t.ram
ank
ank
?: =([0 ~ ~] ank)
?. (~(has by r.kan) lol) kan
kan(r (~(del by r.kan) lol))
@ -826,7 +826,7 @@
++ drum :: apply effect
|= [pax=path mis=miso]
^+ +>
?^ pax
?^ pax
dosh:(dose:$(pax t.pax, +> (dent i.pax)) i.pax ank)
?- -.mis
%del
@ -844,7 +844,7 @@
=+ sam=(sham nex)
+>.$(p.ank :(mix sam p.u.q.ank p.ank), q.ank [~ sam nex])
==
::
::
++ dune :: apply
|- ^+ +
?~ myz +
@ -857,12 +857,12 @@
?: =([0 0] p.nyp)
dune(myz q.nyp)
=> ?: =(p.ank p.p.nyp) .
~& [%durn-in-wrong p.ank p.p.nyp]
~& [%durn-in-wrong p.ank p.p.nyp]
.
:: ?> =(p.ank p.p.nyp)
=. +> dune(myz q.nyp)
=> ?: =(p.ank q.p.nyp) .
~& [%durn-out-wrong p.ank q.p.nyp]
~& [%durn-out-wrong p.ank q.p.nyp]
.
+>
::
@ -908,16 +908,16 @@
;~ plug
;~ plug
%+ sear
|= a=@t
|= a=@t
^- (unit ,?)
?+(a ~ %http [~ %|], %https [~ %&])
;~(sfix scem ;~(plug col fas fas))
thor
==
;~(plug apat yque)
==
==
++ bite :: cookies (ours)
(most sem ;~(plug nuck:so ;~(pfix sem nuck:so)))
(most sem ;~(plug nuck:so ;~(pfix sem nuck:so)))
++ dlab :: 2396 domainlabel
%+ sear
|= a=@ta
@ -933,7 +933,7 @@
++ pquo ;~(pose pure pesc pold) :: normal query char
++ pure ;~(pose aln hep dot cab sig) :: 2396 unreserved
++ psub ;~ pose :: 3986 sub-delims
zap buc pam soq pel per
zap buc pam soq pel per
tar lus com sem tis
==
++ scem :: 2396 scheme
@ -960,7 +960,7 @@
(most dot dlab)
::
%+ stag %|
=+ tod=(ape:ag ted:ab)
=+ tod=(ape:ag ted:ab)
%+ bass 256
;~(plug tod (stun [3 3] ;~(pfix dot tod)))
==
@ -990,62 +990,62 @@
==
--
::
++ glam
++ glam
|= zar=@p ^- tape
%+ snag zar
:~ "Tianming" "Pepin the Short" "Haile Selassie" "Alfred the Great"
"Tamerlane" "Pericles" "Talleyrand" "Yongle" "Seleucus"
"Uther Pendragon" "Louis XVI" "Ahmad Shāh Durrānī" "Constantine"
"Wilhelm I" "Akbar" "Louis XIV" "Nobunaga" "Alexander VI"
"Philippe II" "Julius II" "David" "Niall Noígíallach" "Kublai Khan"
"Öz Beg Khan" "Ozymandias" "Ögedei Khan" "Jiang Jieshi" "Darius"
"Shivaji" "Qianlong" "Bolesław I Chrobry" "Tigranes" "Han Wudi"
"Charles X" "Naresuan" "Frederick II" "Simeon" "Kangxi"
:~ "Tianming" "Pepin the Short" "Haile Selassie" "Alfred the Great"
"Tamerlane" "Pericles" "Talleyrand" "Yongle" "Seleucus"
"Uther Pendragon" "Louis XVI" "Ahmad Shāh Durrānī" "Constantine"
"Wilhelm I" "Akbar" "Louis XIV" "Nobunaga" "Alexander VI"
"Philippe II" "Julius II" "David" "Niall Noígíallach" "Kublai Khan"
"Öz Beg Khan" "Ozymandias" "Ögedei Khan" "Jiang Jieshi" "Darius"
"Shivaji" "Qianlong" "Bolesław I Chrobry" "Tigranes" "Han Wudi"
"Charles X" "Naresuan" "Frederick II" "Simeon" "Kangxi"
"Suleiman the Magnificent" "Pedro II" "Genghis Khan" "Đinh Bộ Lĩnh"
"Porfirio Díaz" "Pakal" "Wu Zetian" "Garibaldi" "Pius IX"
"Leopold II" "Leonidas" "Sitting Bull" "Nebuchadnezzar II"
"Rhodes" "Henry VIII" "Attila" "Catherine II" "Chulalongkorn"
"Uthmān" "Augustus" "Faustin" "Chongde" "Justinian"
"Afonso de Albuquerque" "Antoninus Pius" "Cromwell" "Innocent X"
"Fidel" "Frederick the Great" "Canute" "Vytautas" "Amina"
"Hammurabi" "Suharto" "Victoria" "Hiawatha" "Paul V" "Shaka"
"Lê Thánh Tông" "Ivan Asen II" "Tiridates" "Nefertiti" "Gwangmu"
"Ferdinand & Isabella" "Askia" "Xuande" "Boris Godunov" "Gilgamesh"
"Maximillian I" "Mao" "Charlemagne" "Narai" "Hanno" "Charles I & V"
"Alexander II" "Mansa Musa" "Zoe Porphyrogenita" "Metternich"
"Robert the Bruce" "Pachacutec" "Jefferson" "Solomon" "Nicholas I"
"Barbarossa" "FDR" "Pius X" "Gwanggaeto" "Abbas I" "Julius Caesar"
"Lee Kuan Yew" "Ranavalona I" "Go-Daigo" "Zenobia" "Henry V"
"Bảo Đại" "Casimir III" "Cyrus" "Charles the Wise" "Sandrokottos"
"Agamemnon" "Clement VII" "Suppiluliuma" "Deng Xiaoping"
"Victor Emmanuel" "Ajatasatru" "Jan Sobieski" "Huangdi" "Xuantong"
"Narmer" "Cosimo de' Medici" "Möngke Khan" "Stephen Dušan" "Henri IV"
"Mehmed Fatih" "Conn Cétchathach" "Francisco Franco" "Leo X"
"Kammu" "Krishnadevaraya" "Elizabeth I" "Norton I" "Washington"
"Meiji" "Umar" "TR" "Peter the Great" "Agustin I" "Ashoka"
"William the Conqueror" "Kongolo Mwamba" "Song Taizu"
"Ivan the Terrible" "Yao" "Vercingetorix" "Geronimo" "Lincoln"
"Urban VIII" "Alexios Komnenos" "Maria I" "Tamar" "Bismarck"
"Arthur" "Jimmu" "Gustavus Adolphus" "Suiko" "Basil I" "Montezuma"
"Santa Anna" "Xerxes" "Beyazıt Yıldırım" "Samudragupta" "James I"
"George III" "Kamehameha" "Francesco Sforza" "Trajan"
"Rajendra Chola" "Hideyoshi" "Cleopatra" "Alexander"
"Ashurbanipal" "Paul III" "Vespasian" "Tecumseh" "Narasimhavarman"
"Suryavarman II" "Bokassa I" "Charles Canning" "Theodosius"
"Francis II" "Zhou Wen" "William Jardine" "Ahmad al-Mansur"
"Lajos Nagy" "Theodora" "Mussolini" "Samuil" "Osman Gazi"
"Kim Il-sung" "Maria Theresa" "Lenin" "Tokugawa" "Marcus Aurelius"
"Nzinga Mbande" "Edward III" "Joseph II" "Pulakesi II" "Priam"
"Qin Shi Huang" "Shah Jahan" "Sejong" "Sui Wendi" "Otto I"
"Napoleon III" "Prester John" "Dido" "Joao I" "Gregory I"
"Gajah Mada" "Abd-ar Rahmān III" "Taizong" "Franz Josef I"
"Nicholas II" "Gandhi" "Chandragupta II" "Peter III"
"Oba Ewuare" "Louis IX" "Napoleon" "Selim Yavuz" "Shun"
"Hayam Wuruk" "Jagiełło" "Nicaule" "Sargon" "Saladin" "Charles II"
"Brian Boru" "Da Yu" "Antiochus III" "Charles I"
"Jan Pieterszoon Coen" "Hongwu" "Mithridates" "Hadrian" "Ptolemy"
"Benito Juarez" "Sun Yat-sen" "Raja Raja Chola" "Bolivar" "Pius VII"
"Shapur II" "Taksin" "Ram Khamhaeng" "Hatshepsut" "Alī" "Matilda"
"Porfirio Díaz" "Pakal" "Wu Zetian" "Garibaldi" "Pius IX"
"Leopold II" "Leonidas" "Sitting Bull" "Nebuchadnezzar II"
"Rhodes" "Henry VIII" "Attila" "Catherine II" "Chulalongkorn"
"Uthmān" "Augustus" "Faustin" "Chongde" "Justinian"
"Afonso de Albuquerque" "Antoninus Pius" "Cromwell" "Innocent X"
"Fidel" "Frederick the Great" "Canute" "Vytautas" "Amina"
"Hammurabi" "Suharto" "Victoria" "Hiawatha" "Paul V" "Shaka"
"Lê Thánh Tông" "Ivan Asen II" "Tiridates" "Nefertiti" "Gwangmu"
"Ferdinand & Isabella" "Askia" "Xuande" "Boris Godunov" "Gilgamesh"
"Maximillian I" "Mao" "Charlemagne" "Narai" "Hanno" "Charles I & V"
"Alexander II" "Mansa Musa" "Zoe Porphyrogenita" "Metternich"
"Robert the Bruce" "Pachacutec" "Jefferson" "Solomon" "Nicholas I"
"Barbarossa" "FDR" "Pius X" "Gwanggaeto" "Abbas I" "Julius Caesar"
"Lee Kuan Yew" "Ranavalona I" "Go-Daigo" "Zenobia" "Henry V"
"Bảo Đại" "Casimir III" "Cyrus" "Charles the Wise" "Sandrokottos"
"Agamemnon" "Clement VII" "Suppiluliuma" "Deng Xiaoping"
"Victor Emmanuel" "Ajatasatru" "Jan Sobieski" "Huangdi" "Xuantong"
"Narmer" "Cosimo de' Medici" "Möngke Khan" "Stephen Dušan" "Henri IV"
"Mehmed Fatih" "Conn Cétchathach" "Francisco Franco" "Leo X"
"Kammu" "Krishnadevaraya" "Elizabeth I" "Norton I" "Washington"
"Meiji" "Umar" "TR" "Peter the Great" "Agustin I" "Ashoka"
"William the Conqueror" "Kongolo Mwamba" "Song Taizu"
"Ivan the Terrible" "Yao" "Vercingetorix" "Geronimo" "Lincoln"
"Urban VIII" "Alexios Komnenos" "Maria I" "Tamar" "Bismarck"
"Arthur" "Jimmu" "Gustavus Adolphus" "Suiko" "Basil I" "Montezuma"
"Santa Anna" "Xerxes" "Beyazıt Yıldırım" "Samudragupta" "James I"
"George III" "Kamehameha" "Francesco Sforza" "Trajan"
"Rajendra Chola" "Hideyoshi" "Cleopatra" "Alexander"
"Ashurbanipal" "Paul III" "Vespasian" "Tecumseh" "Narasimhavarman"
"Suryavarman II" "Bokassa I" "Charles Canning" "Theodosius"
"Francis II" "Zhou Wen" "William Jardine" "Ahmad al-Mansur"
"Lajos Nagy" "Theodora" "Mussolini" "Samuil" "Osman Gazi"
"Kim Il-sung" "Maria Theresa" "Lenin" "Tokugawa" "Marcus Aurelius"
"Nzinga Mbande" "Edward III" "Joseph II" "Pulakesi II" "Priam"
"Qin Shi Huang" "Shah Jahan" "Sejong" "Sui Wendi" "Otto I"
"Napoleon III" "Prester John" "Dido" "Joao I" "Gregory I"
"Gajah Mada" "Abd-ar Rahmān III" "Taizong" "Franz Josef I"
"Nicholas II" "Gandhi" "Chandragupta II" "Peter III"
"Oba Ewuare" "Louis IX" "Napoleon" "Selim Yavuz" "Shun"
"Hayam Wuruk" "Jagiełło" "Nicaule" "Sargon" "Saladin" "Charles II"
"Brian Boru" "Da Yu" "Antiochus III" "Charles I"
"Jan Pieterszoon Coen" "Hongwu" "Mithridates" "Hadrian" "Ptolemy"
"Benito Juarez" "Sun Yat-sen" "Raja Raja Chola" "Bolivar" "Pius VII"
"Shapur II" "Taksin" "Ram Khamhaeng" "Hatshepsut" "Alī" "Matilda"
"Ataturk"
==
::
@ -1306,10 +1306,10 @@
|= hap=path
^- (unit kite)
?. ?=([@ @ @ *] hap) ~
=+ :* hyr=(slay i.hap)
=+ :* hyr=(slay i.hap)
fal=(slay i.t.hap)
dyc=(slay i.t.t.hap)
ved=(slay i.t.t.t.hap)
ved=(slay i.t.t.t.hap)
:: ved=(slay i.t.hap)
:: fal=(slay i.t.t.hap)
:: dyc=(slay i.t.t.t.hap)
@ -1371,7 +1371,7 @@
++ bead :: terminal control
$: $: bul=@ud :: buffer length
bus=@ud :: cursor in buffer
but=(list ,@c) :: buffer text
but=(list ,@c) :: buffer text
buy=prom :: input style
== ::
$: hiz=@ud :: history depth
@ -1403,11 +1403,11 @@
$% [%aro p=?(%d %l %r %u)] :: arrow key
[%bac ~] :: true backspace
[%ctl p=@ud] :: control-key
[%del ~] :: true delete
[%met p=@ud] :: meta-key
[%del ~] :: true delete
[%met p=@ud] :: meta-key
[%ret ~] :: return
[%txt p=(list ,@c)] :: utf32 text
== ::
== ::
++ blew ,[p=@ud q=@ud] :: columns rows
++ blit :: raw console output
$% [%bel ~] :: make a noise
@ -1430,7 +1430,7 @@
== ::
++ boor :: new thread
$: p=(map ,@ud kite) :: dependencies
q=(qeu ,[p=wire q=card]) :: incoming cards
q=(qeu ,[p=wire q=card]) :: incoming cards
r=(qeu ,[p=wire q=nose]) :: pending notes
s=boar :: execution
== ::
@ -1481,7 +1481,7 @@
[%file p=@tas q=@] :: apply atomic file
[%fail p=tape] :: report failure
[%grab ~] :: collect grabage
[%hail ~] :: refresh
[%hail ~] :: refresh
[%hear p=lane q=@] :: receive packet
[%hemp p=path] :: cancel request
[%helo p=path q=prod] :: trigger prompt
@ -1506,7 +1506,7 @@
[%make p=(unit ,@t) q=@ud r=@] :: wild license
[%mine p=@ud q=@t] :: query matched line
[%noop ~] :: no operation
[%note p=@tD q=tank] :: debug message
[%note p=@tD q=tank] :: debug message
[%nuke p=~] :: kill all processes
[%pace p=@ud] :: compute background
[%pipe p=(unit ,[p=typo q=(list)])] :: pipeline data
@ -1530,7 +1530,7 @@
[%they p=@ud q=httr] :: response to %them
[%this p=? q=@ud r=httq] :: secure/session/req
[%thou p=httr] :: raw http response
[%thug p=@p q=@p] :: sign in client
[%thug p=@p q=@p] :: sign in client
[%thus p=@ud q=(unit hiss)] :: http request
[%tory p=(list ,@t)] :: history dump
[%veer p=@ta q=path r=@t] :: install vane
@ -1557,7 +1557,7 @@
++ cash ,@uvH :: ankh hash
++ cask :: symmetric record
$: yed=(unit ,[p=hand q=code]) :: outbound
heg=(map hand code) :: proposed
heg=(map hand code) :: proposed
qim=(map hand code) :: inbound
== ::
++ coal ,* :: untyped vase
@ -1637,7 +1637,7 @@
[%duke p=what] :: 32-bit ship
[%earl p=@t] :: 64-bit ship
[%king p=@t] :: 16-bit ship
[%pawn p=(unit ,@t)] :: 128-bit ship
[%pawn p=(unit ,@t)] :: 128-bit ship
== ::
++ goad :: common note
$% [%eg p=riot] :: simple result
@ -1661,14 +1661,14 @@
[%lq p=@tas] :: listen for service
[%ow ~] :: one-way reaction
[%rt ~] :: roundtrip response
[%up p=prod] :: user prompt
[%up p=prod] :: user prompt
[%wa p=@da] :: alarm
== ::
++ govt path :: country/postcode
++ gram ,@uw :: physical datagram
++ gyro ,[p=@ud q=wire r=prod] :: live prompt
++ hand ,@uvH :: hash of code
++ hate ,[p=purl q=@p r=moth] :: cooked request
++ hate ,[p=purl q=@p r=moth] :: cooked request
++ hiss ,[p=hart q=httq] :: outbound request
++ hist ,[p=@ud q=(list ,@t)] :: depth texts
++ hook path :: request origin
@ -1759,7 +1759,7 @@
++ newt ?(%boot %kick %mess %slay %wake) :: lifecycle events
++ nose :: response, kernel
$? [%$ p=(unit ,[p=typo q=(list)])] :: standard input
goad ::
goad ::
== ::
++ note :: response, user
$? [%$ p=(unit ,[p=type q=(list)])] :: standard input
@ -1807,9 +1807,9 @@
== ::
++ race :: inbound stream
$: did=@ud :: filled sequence
bum=(map ,@ud ,%dead) ::
bum=(map ,@ud ,%dead) ::
mis=(map ,@ud ,[p=cape q=flap r=(unit)]) :: misordered
== ::
== ::
++ raft :: filesystem
$: las=@da :: last wakeup
fat=(map ,@p room) :: per host
@ -1819,7 +1819,7 @@
$: p=[p=care q=case r=@tas] :: clade release book
q=path :: spur
r=* :: data
== ::
== ::
++ rave :: general request
$% [& p=mood] :: single request
[| p=moat] :: change range
@ -1850,7 +1850,7 @@
++ room :: fs per ship (new)
$: hun=duct :: terminal duct
hez=(unit duct) :: sync duct
dos=(map ,@tas ,[p=cult q=dome]) :: native projects
dos=(map ,@tas ,[p=cult q=dome]) :: native projects
rid=(map ship (map ,@tas rede)) :: neighbors
== ::
++ rock ,@uvO :: packet
@ -1865,7 +1865,7 @@
hoc=(map ship door) :: neighborhood
== ::
++ salt ,@uv :: entropy
++ scab :: logical request
++ scab :: logical request
$: p=scud :: routed url
q=quay :: query
== ::
@ -1943,7 +1943,7 @@
++ will (list deed) :: certificate
++ worm ,* :: vase of tart
++ yard :: terminal state
$: p=? :: verbose
$: p=? :: verbose
q=blur :: display state
r=(map path hist) :: history
== ::

26
main/bin/begin.hoon
View File

@ -21,13 +21,13 @@
^- bowl
(fud mig)
^= fud
|= mig=@p
|= mig=@p
=+ bos=(sein mig)
?> !=(bos mig)
=< main
|%
++ looc ;~(pose alp (shim 128 255))
++ loon
++ loon
%+ cook
|= all=(list ,@t)
|- ^- @t
@ -40,7 +40,7 @@
^- bowl
=+ ran=(clan mig)
=+ ^= cow
|- ^- @ud
|- ^- @ud
?- ran
%czar 256
%king (mul 255 $(ran %czar))
@ -75,7 +75,7 @@
=. tey (shax tey)
%+ pomp "Entropy check: {<`@p`(mug tey)>}"
%+ pogo (pond ^:@/===doc%/language/txt)
%+ (polo %text "Language: " "en" ~)
%+ (polo %text "Language: " "en" ~)
%+ sear
|= [a=@ b=@]
^- (unit ,@ta)
@ -108,10 +108,10 @@
|= [now=@da puc=@t]
%+ pogo (pond ^:@/===doc%/banner/txt)
%+ (polo %text "Banner: %" "blue" ~)
;~ pose
(jest %white)
(jest %blue)
(jest %red)
;~ pose
(jest %white)
(jest %blue)
(jest %red)
(jest %black)
(jest %orange)
==
@ -124,7 +124,7 @@
%+ (polo %text "Year you were born: " "19" ~)
dim:ag
|= [* yar=@]
%- moon
%- moon
|= [* gov=govt]
%+ pogo (pond ^:@/===doc%/name/txt)
%+ (polo %text "First name: " ~ ~)
@ -141,10 +141,10 @@
|= [* las=@t]
%+ pogo (pond ^:@/===doc%/banner/txt)
%+ (polo %text "Banner: %" "blue" ~)
;~ pose
(jest %white)
(jest %blue)
(jest %red)
;~ pose
(jest %white)
(jest %blue)
(jest %red)
(jest %black)
(jest %orange)
==

16
main/bin/chat.hoon
View File

@ -87,7 +87,7 @@
%= $
tod r.tod
alx %= $
tod l.tod
tod l.tod
alx :_(alx [[%ra (scot %p p.n.tod) ~] [%ow ~]])
==
==
@ -127,9 +127,9 @@
+>(oot (dec oot))
=+ dyt=(need (~(get by tod) u.hur))
%_ +>.$
tod
?: =(1 dyt)
(~(del by tod) u.hur)
tod
?: =(1 dyt)
(~(del by tod) u.hur)
(~(put by tod) u.hur (dec dyt))
==
?- kay
@ -138,7 +138,7 @@
==
::
++ priv :: private message
|= [her=@p mes=^mess]
|= [her=@p mes=^mess]
^+ +>
(show (rend "" (trip (numb her est)) mes))
::
@ -159,7 +159,7 @@
==
::
++ shew |=(tax=(list tank) +>(giz [[%lo tax] giz])) :: print to screen
++ show |=(tan=tank +>(giz [[%la tan] giz])) :: print to screen
++ show |=(tan=tank +>(giz [[%la tan] giz])) :: print to screen
++ take :: alarm event
|- ^+ +
=. wak (add ~m1 (max wak est))
@ -170,9 +170,9 @@
^+ +>
?: =(0 txt) +>
=+ rey=(rush txt chat)
?~ rey
?~ rey
(show %leaf "invalid input")
?- -.u.rey
?- -.u.rey
%all (joke(sad [%& p.u.rey]) ~ `zing`u.rey)
%def %- joke
?: ?=(& -.sad)

2
main/bin/env.hoon
View File

@ -13,7 +13,7 @@
"eny: {<eny>}"
==
::
=+ ^= gar
=+ ^= gar
=+ nix=1
|- ^- (list tape)
?~ arg ~

2
main/bin/hello.hoon
View File

@ -1,4 +1,4 @@
::
::
:: /=main=/bin/hello/hoon
::
|= *

2
main/bin/hi.hoon
View File

@ -15,7 +15,7 @@
?> =(/request pax)
?> ?=(%ow -.nut)
:- ?: =(%good p.nut)
~
~
:_ ~
:- %ha
:- %leaf

2
main/bin/pope.hoon
View File

@ -9,7 +9,7 @@
(boss 256 (more gon qit))
|= [now=@da fra=@]
%+ pomp "generating carrier {(scow %p who)} (#{(scow %ud who)})"
%- (posh (add ~s1 now))
%- (posh (add ~s1 now))
|= now=@da
:_ ~
=+ bur=(shax (add who (shax fra)))

2
main/bin/ram.hoon
View File

@ -38,4 +38,4 @@
[%ins i.q.u.p.nut]
[%mut %a %a u.fil i.q.u.p.nut]
==
==
==

16
main/bin/room.hoon
View File

@ -6,7 +6,7 @@
=> +
=> ^/===/lib/pony
=> ^/===/lib/chat
=> |%
=> |%
++ fool
$: num=@ud :: number received
nym=@t :: text name
@ -54,7 +54,7 @@
^+ +>
%= +>
num.lov (add (lent zog) num.lov)
meg.lov (weld (flop zog) meg.lov)
meg.lov (weld (flop zog) meg.lov)
==
::
++ tilt
@ -71,14 +71,14 @@
^- [(list zong) [@p fool]]
?. &(liv.ful (gth now (add ~m2 elf.ful))) [fug her ful]
[[`zong`[%out [her nym.ful]] fug] [her ful(liv |)]]
(tilt zew)
(tilt zew)
::
++ yelp
|= [her=@p zig=zing]
^- [chub loft]
?: ?=(%who -.zig)
:_ lov
:~ :- her
:~ :- her
:~ :- %who
^- (list user)
=< -
@ -93,7 +93,7 @@
=+ pof=(yowl her)
=^ zew +>.$
?- -.zig
%all
%all
:_ abet:pof
[[%all ?:(p.zig %white sec.ful.pof) call:pof q.zig] ~]
::
@ -115,15 +115,15 @@
=+ ^= ful ^- fool
?^ nog u.nog
=+ ^= gos
%- (hard (unit gcos))
%- (hard (unit gcos))
.^(%a (scot %p her) %gcos (scot %da now) ~)
^- fool
:* 0
(numb her now)
^- sect
?. &(?=(^ gos) ?=(%duke -.u.gos)) %white
?: ?=(?(%lord %lady) -.p.u.gos)
r.p.p.u.gos
?: ?=(?(%lord %lady) -.p.u.gos)
r.p.p.u.gos
?:(?=(%punk -.p.u.gos) p.p.u.gos %white)
|
now

2
main/bin/tach.hoon
View File

@ -1,4 +1,4 @@
::
::
:: /=main=/bin/tach/hoon
::
|= *

2
main/bin/type.hoon
View File

@ -12,7 +12,7 @@
:_ ~
?+ -.nut !!
%$
?~ p.nut
?~ p.nut
~
%+ weld
(turn q.u.p.nut |=(a=* [%la (sell p.u.p.nut a)]))

4
main/bin/update.hoon
View File

@ -18,8 +18,8 @@
=+ owr=((hard dome) .^(%cv /(scot %p who)/[des]/=))
=+ sab=`saba`[bos des [0 let.der] (flop (turn hit.der |=(a=frog q.a)))]
=+ lum=(~(auld ze est owr) est %fine sab)
?~ lum
?~ lum
`gift`[%la %leaf "{(trip des)} failed to merge"]
?~ u.lum
?~ u.lum
`gift`[%la %leaf "{(trip des)} is up to date"]
`gift`[%ok des u.u.lum]

2
main/bin/ye.hoon
View File

@ -17,7 +17,7 @@
?> =(/request pax)
?> ?=(%ow -.nut)
:- ?: =(%good p.nut)
~
~
:_ ~
:- %ha
:- %leaf

2
main/doc/begin/govt.txt
View File

@ -1,2 +1,2 @@
Enter
Enter

2
main/doc/begin/identity.txt
View File

@ -2,7 +2,7 @@
Please select one of the pre-chosen forms:
%lady female-identified individual
%lord male-identified individual
%lord male-identified individual
%punk opaque handle
%anon totally anonymous

2
main/doc/chat/help.txt
View File

@ -1,6 +1,6 @@
prompts (channels): types:
& broadcast message to room @ do an action (irc /me)
| banner message # evaluate expression
| banner message # evaluate expression
~ship private message to ship = show ships in channel
to change prompt, type desired prompt. prompt changes preceding a message

4
main/lib/chat.hoon
View File

@ -10,7 +10,7 @@
[%say p=@p q=mess] :: private
[%who ~] :: query users
== ::
++ mess :: message
++ mess :: message
$% [%do p=@t] :: action
[%ex p=@t q=tank] :: expression
[%qu p=@t] :: quote
@ -30,6 +30,6 @@
$% [%all p=sect q=user r=mess] :: broadcast
[%new p=user] :: user joined
[%out p=user] :: user left
[%who p=(list user)] :: users
[%who p=(list user)] :: users
== ::
--

14
main/lib/hume.hoon
View File

@ -1,7 +1,7 @@
!:
:: application standard library
::
=>
=>
|% :: models
++ cron ?(%day %hour %minute %none %second) :: wake frequency
++ lamp :: simple web app
@ -19,7 +19,7 @@
++ lump ,[p=path q=mime r=octs] :: submitted data
++ user ?(%born %came %died %left) :: user event
++ wick vase :: vase of lamp
++ weev :: web event
++ weev :: web event
$% [%cron p=cron] :: wakeup
[%form p=pact q=quay] :: posted form
[%note p=path q=note] :: extrinsic note
@ -35,7 +35,7 @@
ped=cron :: wake frequency
rut=(list rout) :: routes to
ras=wick :: server state
==
==
^- bowl
=+ ^= hup ^- (list slip)
:~ [/ [%ht rut]]
@ -43,7 +43,7 @@
==
:- *(list gift)
:- ~
:- hup
:- hup
|= [now=@da pax=path nut=note]
^- bowl
=+ [saw=*(list gift) ask=*(list slip)]
@ -69,14 +69,14 @@
==
::
++ pass :: try redirect
|= [pac=pact ced=cred]
|= [pac=pact ced=cred]
^- (unit purl)
=+ sam=!>([pac ced])
=+ gat=(slap ras [%cnbc %miss])
=+ pro=(slam gat sam)
?: =(~ q.pro) ~
=+ vur=(slot 3 pro)
[~ ((hard purl) q.vur)]
[~ ((hard purl) q.vur)]
::
++ post :: handle post
|= [rid=@ud zab=scab ced=cred mot=moth]
@ -147,7 +147,7 @@
?. (~(has by r.arc) %hoon) ~
:- ~
=+ vez=(vang & [hox syd lok t.cag])
=+ dat=((hard ,@) .^(%cx (weld tem `path`[%hoon ~])))
=+ dat=((hard ,@) .^(%cx (weld tem `path`[%hoon ~])))
=+ gen=(scan (trip dat) (full (ifix [gay gay] tall:vez)))
=+ pro=(slam (slam (slap ras gen) !>(mad)) !>(zab))
((hard love) q.pro)

2
main/lib/pony.hoon
View File

@ -59,7 +59,7 @@
:~ [/request [%rt ~]]
[/prompt [%up %none leg ~]]
==
|= [now=@da pax=path nut=note]
|= [now=@da pax=path nut=note]
^- bowl
?+ -.nut ~& [%bad-nut nut] !!
%rt (woo now p.nut)

4
spec/nock/5.txt
View File

@ -1,5 +1,5 @@
A noun is an atom or a cell.
An atom is a natural number.
A noun is an atom or a cell.
An atom is a natural number.
A cell is an ordered pair of nouns.
nock(a) *a

4
try/bin/app.hoon
View File

@ -4,7 +4,7 @@
=> %= .
+
=> +
|%
|%
++ word
%hello
--
@ -13,6 +13,6 @@
|= [arg=@tas ~]
^- bowl
:_ ~ :_ ~
:- %$
:- %$
!>
"{(trip word)}, {(trip arg)}"

2
try/bin/fib.hoon
View File

@ -1,5 +1,5 @@
!:
:: /=try=/bin/fib/hoon
:: /=try=/bin/fib/hoon
::
|= *
|= [num=@ud ~]

8
try/bin/game.hoon
View File

@ -7,8 +7,8 @@
|= [neighbor=tape ~]
^- bowl
=+ messages=*(list ,@t)
%- lunt
:* who
%- lunt
:* who
%none
:- :~ :* :~ [%& /localhost]
[%| .127.0.0.1]
@ -18,7 +18,7 @@
/try
==
==
^- vase
^- vase
!> |%
++ give
|= [now=@da fig=weev]
@ -36,6 +36,6 @@
++ miss
|= [pac=pact ced=cred]
^- (unit purl)
~
~
--
==

2
try/bin/goodbye.hoon
View File

@ -1,4 +1,4 @@
|= *
|= *
|= [planet=tape ~]
:_ ~ :_ ~
[%$ !>("hasta la vista, {planet}.")]

2
try/bin/nock.hoon
View File

@ -1,5 +1,5 @@
!: :: To write Nock as an Arvo application in Hoon
|= * ::
|= * ::
|= [a=* ~] :: For educational purposes only
:_ ~ :_ ~ ::
:- %la :: Preserve this mysterious boilerplate square

6
try/bin/reverse.hoon
View File

@ -11,7 +11,7 @@
^- bowl
?+ -.nut !!
%$
?~ p.nut
?~ p.nut
[~ ~]
=+ liz=((hard (list ,@t)) q.u.p.nut)
:- ^- (list gift)
@ -22,5 +22,5 @@
:- ^- (list slip)
:~ [~ %$ %atom %t]
==
..$
==
..$
==