Nuprl Definition : for
For{T,op,id} x ∈ as. f[x] == reduce(op;id;map(λx:T. f[x];as))
Definitions occuring in Statement :
map: map(f;as),
reduce: reduce(f;k;as),
tlambda: λx:T. b[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
map: map(f;as),
tlambda: λx:T. b[x]
FDL editor aliases :
for
Latex:
For\{T,op,id\} x \mmember{} as. f[x] == reduce(op;id;map(\mlambda{}x:T. f[x];as))
Date html generated:
2016_05_14-AM-06_29_50
Last ObjectModification:
2015_12_03-PM-02_05_53
Theory : list_0
Home
Index