Nuprl Definition : pv8_p1_append

Nuprl Definition : pv8_p1_append_news

pv8_p1_append_news(Cid;Op) ==

test,zz,zza.list_accum(a,x.pv8_p1_add_if_new() test x a;zz;zza)

Definitions occuring in Statement : pv8_p1_add_if_new: pv8_p1_add_if_new(), apply: f a, lambda:

x.A[x], list_accum: list_accum(x,a.f[x; a];y;l)
FDL editor aliases : pv8_p1_append_news pv8_p1_append_news

pv8\_p1\_append\_news(Cid;Op) == \mlambda{}test,zz,zza.list\_accum(a,x.pv8\_p1\_add\_if\_new() test x a;zz;zza) Date html generated: 2012_02_20-PM-07_16_17 Last ObjectModification: 2012_02_06-PM-01_38_07 Home Index