S1 @ S2 == let Cs,G = S1 in let Cs',G' = S2 in <Cs @ Cs', lg-append(G;G')>
Definitions :
spread: spread def,
pair: <a, b>,
append: as @ bs,
lg-append: lg-append(g1;g2)
FDL editor aliases :
system-append
S1 @ S2 == let Cs,G = S1 in let Cs',G' = S2 in <Cs @ Cs', lg-append(G;G')>
Date html generated:
2010_08_27-PM-08_00_35
Last ObjectModification:
2010_06_02-PM-03_32_55
Home
Index