ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2025-01-05 13:55:54 +03:00
Code Issues Packages Projects Releases Wiki Activity

Rewrite ++lode and ++wode

Browse Source 
Total lines added/deleted for patch.
This commit is contained in:
Jared Hance 2014-07-03 15:50:55 -04:00
parent 49364e07ce
commit e96868996b
1 changed files with 15 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
arvo/zuse.hoon
View File

@ -1055,36 +1055,28 @@
[i.dog $(dog t.dog, i.wig (sub i.wig i.dog))]
[i.wig $(i.dog (sub i.dog i.wig), wig t.wig)]
::
++ lode
++ lode :: urge dimensions
|= wig=(urge)
^- [p=@ q=@]
=+ woo=[p=0 q=0]
|- ^- [p=@ q=@]
?~ wig woo
?- -.i.wig
%+ reel wig
|= [wug=(unce) [p=@ q=@]]
?- -.wug
&
$(-.woo (add p.i.wig -.woo), +.woo (add p.i.wig +.woo), wig t.wig)
:- (add p.wug p)
(add p.wug q)
|
%= $
-.woo (add (lent p.i.wig) -.woo)
+.woo (add (lent q.i.wig) +.woo)
wig t.wig
==
:- (add (lent p.wug) p)
(add (lent q.wug) q)
==
:: :: woof dimensions
++ wode
::
++ wode :: woof dimensions
|= dog=(list $|(@ud [p=@ud q=@ud]))
^- [p=@ q=@]
=+ woo=[q=0 q=0]
|- ^- [p=@ q=@]
?~ dog woo
?@ i.dog
$(-.woo (add i.dog -.woo), +.woo (add i.dog +.woo), dog t.dog)
%= $
-.woo (add -.i.dog -.woo)
+.woo (add +.i.dog +.woo)
dog t.dog
==
%+ reel dog
|= [dug=$|(@ud [p=@ud q=@ud]) [p=@ q=@]]
?@ dug
[(add dug p) (add dug q)]
[(add p.dug p) (add q.dug q)]
::
++ lith :: initial merge points
|= wig=(urge)