tricu

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

comments-1.tri (159B)

      1 -- This is a tricu comment!
      2 -- t (t t) (t (t t t))
      3 -- t (t t t) (t t)
      4 -- x = (a : a)
      5 main = t (t t) t -- Fork (Stem Leaf) Leaf
      6 -- t t
      7 -- x
      8 -- x = (a : a)
      9 -- t