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
Latex:
bm\_foldl(f;init;m) == bm\_foldli(\mlambda{}k,v,a. (f v a);init;m)
Date html generated:
2016_05_17-PM-01_43_37
Last ObjectModification:
2013_01_04-AM-01_46_39
Theory : binary-map
Home
Index