Nuprl Definition : accum_list
accum_list(a,x.f[a; x];x.base[x];L) ==
accumulate (with value a and list item x):
f[a; x]
over list:
tl(L)
with starting value:
base[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 :
accum_list
Latex:
accum\_list(a,x.f[a; x];x.base[x];L) ==
accumulate (with value a and list item x):
f[a; x]
over list:
tl(L)
with starting value:
base[hd(L)])
Date html generated:
2016_05_14-AM-07_39_54
Last ObjectModification:
2015_12_21-PM-05_18_00
Theory : list_1
Home
Index