diff --git a/try/bin/ed.hoon b/try/bin/ed.hoon index 5eb6daf89..31ad80bd8 100644 --- a/try/bin/ed.hoon +++ b/try/bin/ed.hoon @@ -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]