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

Yank hoon.hoon for cgyarvin/karpi

Browse Source
This commit is contained in:
vere 2015-10-26 20:30:13 +00:00
parent 98e78b57fa
commit 140a79d15c
1 changed files with 19 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
arvo/hoon.hoon
View File

@ -1179,7 +1179,7 @@
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 2cF, signed and modular ints :: :: section 2cF, signed and modular ints ::
:: ::
++ si !: :: signed integer ++ si :: signed integer
|% |%
++ abs |=(a=@s (add (end 0 1 a) (rsh 0 1 a))) :: absolute value ++ abs |=(a=@s (add (end 0 1 a) (rsh 0 1 a))) :: absolute value
++ dif |= [a=@s b=@s] :: subtraction ++ dif |= [a=@s b=@s] :: subtraction
@ -1254,7 +1254,6 @@
-- --
:: ::
++ stat :: positive counter ++ stat :: positive counter
!:
|* a=$+(* *) |* a=$+(* *)
|= (trel ,? a (map a ,@ud)) |= (trel ,? a (map a ,@ud))
^+ r ^+ r
@ -4940,7 +4939,7 @@
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 2eW, lite number theory :: :: section 2eW, lite number theory ::
:: ::
++ egcd !: :: schneier's egcd ++ egcd :: schneier's egcd
|= [a=@ b=@] |= [a=@ b=@]
=+ si =+ si
=+ [c=(sun a) d=(sun b)] =+ [c=(sun a) d=(sun b)]
@ -6601,7 +6600,6 @@
(~(win re tac) tab edg) (~(win re tac) tab edg)
:: ::
++ wa :: cached compile ++ wa :: cached compile
!:
|_ worm |_ worm
++ nell |=(ref=type (nest [%cell %noun %noun] ref)) :: nest in cell ++ nell |=(ref=type (nest [%cell %noun %noun] ref)) :: nest in cell
++ nest :: nest:ut ++ nest :: nest:ut
@ -6668,11 +6666,17 @@
=^ typ +>+<.$ (play p.vax [%wtgr gen [%$ 1]]) =^ typ +>+<.$ (play p.vax [%wtgr gen [%$ 1]])
[[typ q.vax] +>+<.$] [[typ q.vax] +>+<.$]
:: ::
++ spot :: slot and spec ++ spot :: slot then spec
|= [axe=@ vax=vase] |= [axe=@ vax=vase]
^- [vase worm] ^- [vase worm]
=^ xav +>+< (slot axe vax) =^ xav +>+< (slot axe vax)
(spec xav) (spec xav)
::
++ stop :: spec then slot
|= [axe=@ vax=vase]
^- [vase worm]
=^ xav +>+< (spec vax)
(slot axe xav)
-- --
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 2fB, macro expansion :: :: section 2fB, macro expansion ::
@ -9023,7 +9027,7 @@
$(i.ruw t.i.ruw, cah [i.i.ruw cah]) $(i.ruw t.i.ruw, cah [i.i.ruw cah])
$(i.ruw t.i.ruw, cah ~, yun [p.i.i.ruw (wod cah yun)]) $(i.ruw t.i.ruw, cah ~, yun [p.i.i.ruw (wod cah yun)])
:: ::
++ posh !: ++ posh
|= [pre=(unit tyke) pof=(unit ,[p=@ud q=tyke])] |= [pre=(unit tyke) pof=(unit ,[p=@ud q=tyke])]
^- (unit (list twig)) ^- (unit (list twig))
=- ?^(- - ~&(%posh-fail -)) =- ?^(- - ~&(%posh-fail -))
@ -9331,7 +9335,7 @@
== ==
-- --
:: ::
++ scat !: ++ scat
%+ knee *twig |. ~+ %+ knee *twig |. ~+
%- stew %- stew
^. stet ^. limo ^. stet ^. limo
@ -10345,14 +10349,14 @@
== ==
?.(-.hig ~ `[(slym gat +>.hil) +.hig]) ?.(-.hig ~ `[(slym gat +>.hil) +.hig])
:: ::
++ slur-a ~/(%slur-a |=([gat=vase hil=mill] (slur gat hil))) ++ slur-a ~/(%slur-a |=([gat=vase hil=mill] =+(%a (slur gat hil))))
++ slur-b ~/(%slur-b |=([gat=vase hil=mill] (slur gat hil))) ++ slur-b ~/(%slur-b |=([gat=vase hil=mill] =+(%b (slur gat hil))))
++ slur-c ~/(%slur-c |=([gat=vase hil=mill] (slur gat hil))) ++ slur-c ~/(%slur-c |=([gat=vase hil=mill] =+(%c (slur gat hil))))
++ slur-d ~/(%slur-d |=([gat=vase hil=mill] (slur gat hil))) ++ slur-d ~/(%slur-d |=([gat=vase hil=mill] =+(%d (slur gat hil))))
++ slur-e ~/(%slur-e |=([gat=vase hil=mill] (slur gat hil))) ++ slur-e ~/(%slur-e |=([gat=vase hil=mill] =+(%e (slur gat hil))))
++ slur-f ~/(%slur-f |=([gat=vase hil=mill] (slur gat hil))) ++ slur-f ~/(%slur-f |=([gat=vase hil=mill] =+(%f (slur gat hil))))
++ slur-g ~/(%slur-g |=([gat=vase hil=mill] (slur gat hil))) ++ slur-g ~/(%slur-g |=([gat=vase hil=mill] =+(%g (slur gat hil))))
++ slur-z ~/(%slur-z |=([gat=vase hil=mill] (slur gat hil))) ++ slur-z ~/(%slur-z |=([gat=vase hil=mill] =+(%z (slur gat hil))))
:: ::
++ slur-pro :: profiling slur ++ slur-pro :: profiling slur
~/ %slur-pro ~/ %slur-pro