diff --git a/pkg/arvo/lib/naive.hoon b/pkg/arvo/lib/naive.hoon index 9365a9f1b1..7f46eaf01a 100644 --- a/pkg/arvo/lib/naive.hoon +++ b/pkg/arvo/lib/naive.hoon @@ -456,7 +456,7 @@ =* one &5.words =* two &3.words =* tri &1.words - =/ domains (turn ~[one two tri] |=(a=@ (swp 3 a))) + =/ domains ~[(swp 3 one) (swp 3 two) (swp 3 tri)] :- [%dns domains]~ state(dns domains) :: diff --git a/pkg/arvo/lib/tiny.hoon b/pkg/arvo/lib/tiny.hoon index e9620ef281..f4cbf064f4 100644 --- a/pkg/arvo/lib/tiny.hoon +++ b/pkg/arvo/lib/tiny.hoon @@ -30,10 +30,6 @@ :: ++ jug |$ [key value] (map key (set value)) :: -:: Biblical -:: -++ ruth |=([a=* b=*] ?>(?=(@ b) b)) -:: :: Bits :: ++ dec :: decrement @@ -311,23 +307,6 @@ +<-(+ $(+<- +<->)) -- :: -++ turn :: transform - ~/ %turn - |* [a=(list) b=$-(* *)] - => .(a (homo a)) - ^- (list _?>(?=(^ a) (b i.a))) - |- - ?~ a ~ - [i=(b i.a) t=$(a t.a)] -:: -++ levy :: all of - ~/ %levy - |* [a=(list) b=$-(* ?)] - |- ^- ? - ?~ a & - ?. (b i.a) | - $(a t.a) -:: ++ reap :: replicate ~/ %reap |* [a=@ b=*]