From e4945f22e6068d8a4946df9f2d2ea05722636dab Mon Sep 17 00:00:00 2001 From: Anton Dyudin Date: Wed, 14 Jan 2015 15:18:03 -0800 Subject: [PATCH] Further ~? tweaking --- arvo/hoon.hoon | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/arvo/hoon.hoon b/arvo/hoon.hoon index 64e0d82c2..fbb8a417e 100644 --- a/arvo/hoon.hoon +++ b/arvo/hoon.hoon @@ -6463,10 +6463,10 @@ :: [%sgts *] [%sggr [%germ p.gen] q.gen] [%sgwt *] - :+ %tsls q.gen - :^ %wtdt [~ 2] + :+ %tsls [%wtdt q.gen [%bczp %null] [[%bczp %null] r.gen]] + :^ %wtsg [~ 2]~ [%tsgr [~ 3] s.gen] - [%sgpm p.gen r.gen [%tsgr [~ 3] s.gen]] + [%sgpm p.gen [~ 5] [%tsgr [~ 3] s.gen]] [%smcl *] ?- q.gen ~ [%zpzp ~]