Nuprl Definition : bm_foldl
bm_foldl(f;init;m) == bm_foldli(λk,v,a. (f v a);init;m)
Definitions occuring in Statement :
bm_foldli: bm_foldli(f;init;m),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
bm_foldl
bm\_foldl(f;init;m) == bm\_foldli(\mlambda{}k,v,a. (f v a);init;m)
Date html generated:
2015_07_17-AM-08_20_53
Last ObjectModification:
2013_01_04-AM-01_46_39
Home
Index