prior-run-events(r;t) ==
mapfilter(
t.<t, fst(snd(outl(fst((r t)))))>;t.isl(fst((r t)));upto(t))
Definitions :
mapfilter: mapfilter(f;P;L),
pair: <a, b>,
pi2: snd(t),
outl: outl(x),
lambda: x.A[x],
isl: isl(x),
pi1: fst(t),
apply: f a,
upto: upto(n)
FDL editor aliases :
prior-run-events
prior-run-events(r;t) == mapfilter(\mlambda{}t.<t, fst(snd(outl(fst((r t)))))>\mlambda{}t.isl(fst((r t)));upto(t))
Date html generated:
2010_08_27-PM-06_34_53
Last ObjectModification:
2010_04_29-PM-05_17_18
Home
Index