fpf-map(a,v.f[a; v];x) == map(
a.f[a; (snd(x)) a];fst(x))
Definitions :
map: map(f;as),
lambda: x.A[x],
apply: f a,
pi2: snd(t),
pi1: fst(t)
FDL editor aliases :
fpf-map
fpf-map(a,v.f[a; v];x) == map(\mlambda{}a.f[a; (snd(x)) a];fst(x))
Date html generated:
2010_08_26-PM-11_58_12
Last ObjectModification:
2008_02_27-PM-09_43_35
Home
Index