tricu

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

size.tri (147B)

      1 !import "prelude" !Local
      2 
      3 main = size size
      4 
      5 size = x : y (self x : compose succ (triage
      6   id
      7   self
      8   (x y : compose (self x) (self y))
      9   x)
     10 ) x 0