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

Implementation

++  flan
  ~/  %flan
  |=  [bos=tool nif=tool]
  ^-  tool
  ?-    bos
      [1 1]   bos
      [1 0]   nif
      *
    ?-    nif
        [1 1]   nif
        [1 0]   bos
        *       [%6 bos nif [%1 1]]
    ==
  ==

Comments



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

Clone this wiki locally