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