Hoon cons

Implementation

++  cons
  ~/  %cons
  |=  [vur=tool sed=tool]
  ^-  tool
  ?:  ?=([[0 *] [0 *]] +<)
    ?:  ?&(=(+(p.vur) p.sed) =((div p.vur 2) (div p.sed 2)))
      [%0 (div p.vur 2)]
    [vur sed]
  ?:  ?=([[1 *] [1 *]] +<)
    [%1 p.vur p.sed]
  [vur sed] 

Comments

---

---

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