Nuprl Definition : filter
filter(P;l) == reduce(λa,v. if P a then [a / v] else v fi ;[];l)
Definitions occuring in Statement :
reduce: reduce(f;k;as),
cons: [a / b],
nil: [],
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
apply: f a,
cons: [a / b],
nil: []
FDL editor aliases :
filter
Latex:
filter(P;l) == reduce(\mlambda{}a,v. if P a then [a / v] else v fi ;[];l)
Date html generated:
2016_05_14-AM-06_29_55
Last ObjectModification:
2015_12_03-PM-02_06_00
Theory : list_0
Home
Index