tricu

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

sourcePublicEnvironment.tri (114B)


      1 !import "prelude" !Local
      2 
      3 emptyEnvironment = t
      4 suppliedHost = [(pair "host" (t t))]
      5 inputLeaf = t
      6 inputStem = t t