diff --git a/arvo/hoon.hoon b/arvo/hoon.hoon index 0bc2703d55..8b7c25ea2a 100644 --- a/arvo/hoon.hoon +++ b/arvo/hoon.hoon @@ -1648,6 +1648,22 @@ $(a l.a) $(a r.a) :: + +- mer :: puts b in a, sorted + ~/ %mer + |* b=_a + |- ^+ a + ?~ b + a + ?~ a + b + ?. (vor n.a n.b) + $(a b, b a) + ?: =(n.b n.a) + [n.a $(a l.a, b l.b) $(a r.a, b r.b)] + ?: (hor n.b n.a) + $(a [n.a $(a l.a, b [n.b l.b ~]) r.a], b r.b) + $(a [n.a l.a $(a r.a, b [n.b ~ r.b])], b l.b) + :: +- put :: puts b in a, sorted ~/ %put |* b=*