run-to-n(r;n) == map(
t.(fst((r t)));upto(n))
Definitions :
map: map(f;as),
lambda: x.A[x],
pi1: fst(t),
apply: f a,
upto: upto(n)
FDL editor aliases :
run-to-n
run-to-n(r;n) == map(\mlambda{}t.(fst((r t)));upto(n))
Date html generated:
2010_08_28-AM-01_44_45
Last ObjectModification:
2010_05_05-PM-04_18_07
Home
Index