ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-09-21 15:38:59 +03:00
Code Issues Packages Projects Releases Wiki Activity

Double verified, early hxts.

Browse Source
This commit is contained in:
C. Guy Yarvin 2013-12-15 00:23:23 -08:00
parent cd22d4e185
commit 39c0b79b3f
1 changed files with 51 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
arvo/hoon.hoon
View File

@ -178,6 +178,7 @@
[%cnls p=twig q=twig r=twig] :: [%cnls p=twig q=twig r=twig] ::
[%cnsg p=wing q=twig r=twig] :: [%cnsg p=wing q=twig r=twig] ::
[%cnts p=wing q=tyre] :: [%cnts p=wing q=tyre] ::
[%hxts p=wing q=twat] ::
:: :: :: ::
[%dtkt p=twig] :: [%dtkt p=twig] ::
[%dtls p=twig] :: [%dtls p=twig] ::
@ -5693,6 +5694,19 @@
=+ zil=^$(gen q.i.mew, gol %noun) =+ zil=^$(gen q.i.mew, gol %noun)
=+ wip=(tock p.i.mew p.zil q.q.lar) =+ wip=(tock p.i.mew p.zil q.q.lar)
$(mew t.mew, q.q.lar q.wip, hej [[p.wip q.zil] hej]) $(mew t.mew, q.q.lar q.wip, hej [[p.wip q.zil] hej])
::
[%hxts *]
=+ lar=(foil (seek %read p.gen))
=+ mew=(snub q.gen)
=- [(nice p.yom) ?:(=(0 p.q.lar) q.yom [%9 p.q.lar q.yom])]
^= yom
=+ hej=*(list ,[p=axis q=nock])
|- ^- [p=type q=nock]
?@ mew
[(fire q.q.lar) (hike p.lar hej)]
=+ zil=^$(gen q.i.mew, gol %noun)
=+ wip=(tock p.i.mew p.zil q.q.lar)
$(mew t.mew, q.q.lar q.wip, hej [[p.wip q.zil] hej])
:: ::
[%dtkt *] [(nice %noun) [%11 q:$(gen p.gen, gol %noun)]] [%dtkt *] [(nice %noun) [%11 q:$(gen p.gen, gol %noun)]]
[%dtls *] [(nice [%atom %$]) [%4 q:$(gen p.gen, gol [%atom %$])]] [%dtls *] [(nice [%atom %$]) [%4 q:$(gen p.gen, gol [%atom %$])]]
@ -5849,6 +5863,24 @@
?. .=(p.cuf p.dof) ?. .=(p.cuf p.dof)
~|(%mull-bonk-f !!) ~|(%mull-bonk-f !!)
$(mew t.mew, q.q.lar q.cuf, q.q.vug q.dof) $(mew t.mew, q.q.lar q.cuf, q.q.vug q.dof)
::
[%hxts *]
=+ lar=(foil (seek %read p.gen))
=+ vug=(foil (seek(sut dox) %read p.gen))
?. &(=(p.lar p.vug) =(p.q.lar p.q.vug))
~|(%mull-bonk-e !!)
=+ mew=(snub q.gen)
=- [(nice (fire p.yom)) (fire(vet |) q.yom)]
^= yom
|- ^- [p=(list ,[p=type q=foot]) q=(list ,[p=type q=foot])]
?@ mew
[q.q.lar q.q.vug]
=+ zil=^$(gen q.i.mew, gol %noun)
=+ cuf=(tock p.i.mew p.zil q.q.lar)
=+ dof=(tock p.i.mew q.zil q.q.vug)
?. .=(p.cuf p.dof)
~|(%mull-bonk-f !!)
$(mew t.mew, q.q.lar q.cuf, q.q.vug q.dof)
:: ::
[%dtkt *] =+($(gen p.gen, gol %noun) (both %noun)) [%dtkt *] =+($(gen p.gen, gol %noun) (both %noun))
[%dtls *] =+($(gen p.gen, gol [%atom %$]) (both [%atom %$])) [%dtls *] =+($(gen p.gen, gol [%atom %$]) (both [%atom %$]))
@ -6202,6 +6234,14 @@
?@ mew ?@ mew
rag rag
$(mew t.mew, rag q:(tock p.i.mew ^$(gen q.i.mew) rag)) $(mew t.mew, rag q:(tock p.i.mew ^$(gen q.i.mew) rag))
[%hxts *] =+ lar=(foil (seek %read p.gen))
=+ mew=(snub q.gen)
=+ rag=q.q.lar
%- fire
|- ^- (list ,[p=type q=foot])
?@ mew
rag
$(mew t.mew, rag q:(tock p.i.mew ^$(gen q.i.mew) rag))
[%dtkt *] %noun [%dtkt *] %noun
[%dtls *] [%atom %$] [%dtls *] [%atom %$]
[%dtpt *] ?:(=(%f p.gen) ?>((lte q.gen 1) bean) [%atom p.gen]) [%dtpt *] ?:(=(%f p.gen) ?>((lte q.gen 1) bean) [%atom p.gen])
@ -6352,6 +6392,12 @@
* gen * gen
== ==
:: ::
++ snub
~/ %swab
|= har=(list ,[p=wing q=twig])
^- (list ,[p=wing q=twig])
(turn har |=([a=wing b=twig] [(flop a) b]))
::
++ swab ++ swab
~/ %swab ~/ %swab
|= har=(list ,[p=twig q=twig]) |= har=(list ,[p=twig q=twig])
@ -7053,7 +7099,7 @@
$% [%tis p=twig] $% [%tis p=twig]
[%col p=twig] [%col p=twig]
[%ket p=twig] [%ket p=twig]
[%pel p=(list ,[p=twig q=twig])] [%pel p=twat]
== ==
== ==
^- (unit twig) ^- (unit twig)
@ -7063,11 +7109,12 @@
[%cnbc @] [~ %ktts p.ros p.vil] [%cnbc @] [~ %ktts p.ros p.vil]
[%cnhx [@ ~]] [~ %ktts i.p.ros p.vil] [%cnhx [@ ~]] [~ %ktts i.p.ros p.vil]
[%cnts [@ ~] ~] [~ %ktts i.p.ros p.vil] [%cnts [@ ~] ~] [~ %ktts i.p.ros p.vil]
[%hxts [@ ~] ~] [~ %ktts i.p.ros p.vil]
[%zpcb *] $(ros q.ros) [%zpcb *] $(ros q.ros)
* ~ * ~
== ==
%col [~ %tsgl ros p.vil] %col [~ %tsgl ros p.vil]
%pel [~ %cnts ~(rake ap ros) p.vil] %pel [~ %hxts ~(rake ap ros) p.vil]
%ket [~ ros p.vil] %ket [~ ros p.vil]
== ==
:: ::
@ -7081,11 +7128,12 @@
;~(plug (cold %ket ket) wide) ;~(plug (cold %ket ket) wide)
;~ plug ;~ plug
(easy %pel) (easy %pel)
(ifix [pel per] loon) (ifix [pel per] lobo)
== ==
== ==
== ==
:: ::
++ lobo (most ;~(plug com ace) ;~(glam rope wide))
++ loon (most ;~(plug com ace) ;~(glam wide wide)) ++ loon (most ;~(plug com ace) ;~(glam wide wide))
++ lute ++ lute
~+ ~+