Nuprl Definition : iterate-hdataflow
P*(inputs) == accumulate (with value p and list item input): fst(p(input))over list: inputswith starting value: P)
Definitions occuring in Statement :
hdf-ap: X(a),
list_accum: list_accum,
pi1: fst(t)
FDL editor aliases :
iterate-hdataflow
P*(inputs) ==
accumulate (with value p and list item input):
fst(p(input))
over list:
inputs
with starting value:
P)
Date html generated:
2015_07_17-AM-08_05_02
Last ObjectModification:
2012_11_23-PM-02_09_18
Home
Index