tricu

An interpreted language for exploring Tree Calculus
Log | Files | Refs | README | LICENSE

tree-size.scp (481B)


      1 -- Compact-number tree size: 1 + the sizes of all children.
      2 -- State: (SCP successor, SCP bitwise adder) descriptors.
      3 consumer treeSizeBinary
      4   leaf          @ _                  => 1
      5   stem child    @ (successor, adder) => call successor recur child @ (successor, adder)                                as n in n
      6   (left, right) @ (successor, adder) => call adder (recur left @ (successor, adder), recur right @ (successor, adder)) as children in call successor children as n in n