Com(P.M[P]) ==  P."msg":M[P] |+ "create":P |+ "choose":Id |+ "new":Unit



Definitions :  lambda: x.A[x],  tagged+: T |+ z:B,  tag-case: z:T,  Id: Id,  token: "$token",  unit: Unit
FDL editor aliases :  Com

Com(P.M[P])  ==    \mlambda{}P."msg":M[P]  |+  "create":P  |+  "choose":Id  |+  "new":Unit


Date html generated: 2010_08_27-PM-03_47_56
Last ObjectModification: 2010_04_27-AM-11_32_00

Home Index