tricu

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

app.tri (101B)


      1 !import patterns as P
      2 !export main
      3 !export probe
      4 
      5 main = P.first (t 23 24)
      6 probe = P.shape (t (t t))