rename(r;f) ==
<map(r;fst(f)), 
x.((snd(f)) hd(filter(y.(eqof(eq) (r y) x);fst(f))))>
Definitions :
pair: <a, b>,
map: map(f;as),
pi2: snd(t),
hd: hd(l),
filter: filter(P;l),
lambda: x.A[x],
eqof: eqof(d),
apply: f a,
pi1: fst(t)
FDL editor aliases :
fpf-rename
rename(r;f) == <map(r;fst(f)), \mlambda{}x.((snd(f)) hd(filter(\mlambda{}y.(eqof(eq) (r y) x);fst(f))))>
Date html generated:
2010_08_26-PM-11_58_19
Last ObjectModification:
2008_02_27-PM-09_43_45
Home
Index