tricu

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

size.tri (150B)

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