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

Implementation

++  sear
  ~/  %sear
  |*  [pyq=_|=(* *(unit)) sef=_rule]
  ~/  %fun
  |=  tub=nail
  =+  vex=(sef tub)
  ?@  q.vex
    vex
  =+  gey=(pyq p.u.q.vex)
  ?@  gey
    [p=p.vex q=~]
  [p=p.vex q=[~ u=[p=u.gey q=q.u.q.vex]]]

Comments



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

Clone this wiki locally