sdata-atoms(d) ==
t_iterate(
x.if 
isl(x) then [outr(x)] else [] fi ;x,y.(x @ y);d)
Definitions :
t_iterate: t_iterate(l;n;t),
ifthenelse: if b then t else f fi ,
bnot: b,
isl: isl(x),
cons: [car / cdr],
outr: outr(x),
nil: [],
lambda: x.A[x],
append: as @ bs
FDL editor aliases :
sdata-atoms
sdata-atoms(d) == t\_iterate(\mlambda{}x.if \mneg{}\msubb{}isl(x) then [outr(x)] else [] fi ;\mlambda{}x,y.(x @ y);d)
Date html generated:
2010_08_28-AM-01_48_59
Last ObjectModification:
2010_02_22-PM-01_22_40
Home
Index