Nuprl Definition : vr_foldl
vr_foldl(f;a;lst) == Y (
vr_foldl,a,lst.rec-case(lst) of [] => a | x::xs => r.vr_foldl (f x a) xs) a lst
Definitions occuring in Statement :
ycomb: Y,
apply: f a,
lambda: x.A[x],
list_ind: list_ind def
FDL editor aliases :
vr_foldl
vr\_foldl(f;a;lst) ==
Y (\mlambda{}vr$_{foldl}$,a,lst.rec-case(lst) of [] => a | x::xs => r.vr$_{\000Cfoldl}$ (f x a) xs) a lst
Date html generated:
2012_02_20-PM-03_30_39
Last ObjectModification:
2012_02_02-PM-01_54_07
Home
Index