Hoon ept

Jump to bottom Edit New page

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

Implementation

++  ept                                                 ::  map invariant
  |=  a=(tree ,[p=* q=*])
  ?@  a 
    & 
  ?&  ?@(l.a & ?&((vor p.n.a p.n.l.a) (hor p.n.l.a p.n.a)))
      ?@(r.a & ?&((vor p.n.a p.n.r.a) (hor p.n.a p.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