Nuprl Definition : pv8_p2_iterate_tr
pv8_p2_iterate_tr(Cid;Op;RepState) ==
tr,init,ops.list_accum(z,zg.let s,b = z in x.let s',b' = tr x s in <s', b + b'> zg;<init, {}>;ops)
Definitions occuring in Statement :
apply: f a,
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
list_accum: list_accum(x,a.f[x; a];y;l),
bag-append: as + bs,
empty-bag: {}
FDL editor aliases :
pv8_p2_iterate_tr
pv8_p2_iterate_tr
pv8\_p2\_iterate\_tr(Cid;Op;RepState) ==
\mlambda{}tr,init,ops.
list\_accum(z,zg.let s,b = z in \mlambda{}x.let s',b' = tr x s in <s', b + b'> zg;<init, \{\}>ops)
Date html generated:
2012_02_20-PM-07_36_26
Last ObjectModification:
2012_02_06-PM-03_04_37
Home
Index