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

Implementation

++  sort                                                ::  quicksort
  ~/  %sort
  |*  [a=(list) b=_|=([p=* q=*] =(p q))]
  =>  .(a (homo a))
  |-  ^+  a
  ?~  a  ~
  %+  weld
    $(a (skim t.a |=(c=_i.a (b c i.a))))
  [i.a $(a (skim t.a |=(c=_i.a !(b c i.a))))]

Comments



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

Clone this wiki locally