Nuprl Definition : pv11_p1_append_news

pv11_p1_append_news(Cmd) ==
  λtest,zzg,zzh. accumulate (with value a and list item x):
                  pv11_p1_add_if_new() test x a
                 over list:
                   zzh
                 with starting value:
                  zzg)


Definitions occuring in Statement :  pv11_p1_add_if_new: pv11_p1_add_if_new(),  list_accum: list_accum,  apply: f a,  lambda: λx.A[x]
FDL editor aliases :  pv11_p1_append_news
Latex:
pv11\_p1\_append\_news(Cmd)  ==
    \mlambda{}test,zzg,zzh.  accumulate  (with  value  a  and  list  item  x):
                                    pv11\_p1\_add\_if\_new()  test  x  a
                                  over  list:
                                      zzh
                                  with  starting  value:
                                    zzg)


Date html generated: 2015_07_23-PM-04_11_46
Last ObjectModification: 2014_11_26-AM-11_23_05

Home Index