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

Indentation and unitization

Browse Source
This commit is contained in:
Steve Dee 2014-01-23 12:15:58 -08:00
parent 15100ef7e7
commit 72b71f0e86
1 changed files with 12 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
try/bin/ed.hoon
View File

@ -27,8 +27,8 @@
(norm x)
--
=+ ^= bb
=+ bby=(pro.fq 4 (inv.fq 5))
[(xrec bby) bby]
=+ bby=(pro.fq 4 (inv.fq 5))
[(xrec bby) bby]
|%
++ ward
|= [pp=[@ @] qq=[@ @]] ^- [@ @]
@ -106,24 +106,27 @@
(pro.fq y y)
(sum.fq 1 :(pro.fq d x x y y))
++ decp
|= s=@ ^- [@ @]
|= s=@ ^- (unit ,[@ @])
=+ y=(cut 0 [0 (dec b)] s)
=+ si=(cut 0 [(dec b) 1] s)
=+ x=(xrec y)
=> .(x ?:(!=(si (dis 1 x)) (sub q x) x))
=+ pp=[x y]
?. (curv pp) !!
pp
?. (curv pp)
~
[~ pp]
++ veri
|= [s=@ m=@ pk=@] ^- ?
?: (gth (div b 4) (met 3 s)) !!
?: (gth (div b 8) (met 3 pk)) !!
?: (gth (div b 4) (met 3 s)) |
?: (gth (div b 8) (met 3 pk)) |
=+ rr=(decp (cut 0 [0 b] s))
?~ rr |
=+ aa=(decp pk)
?~ aa |
=+ ss=(cut 0 [b b] s)
=+ ha=(can 0 ~[[b (etch rr)] [b pk] [(met 0 m) m]])
=+ ha=(can 0 ~[[b (etch u.rr)] [b pk] [(met 0 m) m]])
=+ h=(shaz ha)
=((scam bb ss) (ward rr (scam aa h)))
=((scam bb ss) (ward u.rr (scam u.aa h)))
--
==
|= [est=time eny=@uw]