Hoon apt

Jump to bottom Edit New page

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

Implementation

++  apt                                                 ::  set invariant
  |=  a=(tree)
  ?@  a 
    & 
  ?&  ?@(l.a & ?&((vor n.a n.l.a) (hor n.l.a n.a)))
      ?@(r.a & ?&((vor n.a n.r.a) (hor n.a n.r.a)))
  ==

Comments

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

Hoon
- Functions

Clone this wiki locally