Skip to content
Adam Bliss edited this page Oct 25, 2013 · 1 revision

Implementation

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

Comments



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

Clone this wiki locally