Hoon push

Implementation

++  push                                                ::
  |*  a=(gear)
  |=  b=_^+(|-(=+(b=(a) ?~(b ~ [i=i.b t=$(a t.b)]))) ~)
  ^+  b
  =+  c=((pull a) ~)
  ((pull (spin c)) b)

Comments

---

---

Parts of this document are generated automatically. Edits within the comments section will be preserved.