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