tricu

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

patterns.tri (116B)


      1 !export first
      2 !export shape
      3 
      4 first whole{t left right} = left
      5 first _ = 99
      6 
      7 shape t = 0
      8 shape (t t) = 1
      9 shape _ = 2