Nuprl Definition : combine-list

combine-list(x,y.f[x; y];L) ==
  accumulate (with value x and list item y):
   f[x; y]
  over list:
    tl(L)
  with starting value:
   hd(L))

Definitions occuring in Statement : hd: hd(l), tl: tl(l), list_accum: list_accum
Definitions occuring in definition : list_accum: list_accum, hd: hd(l), tl: tl(l)
FDL editor aliases : combine-list

Latex:
combine-list(x,y.f[x; y];L) == accumulate (with value x and list item y): f[x; y] over list: tl(L) with starting value: hd(L)) Date html generated: 2016_05_14-AM-06_43_21 Last ObjectModification: 2015_12_03-PM-02_07_45 Theory : list_0 Home Index