Nuprl Definition : run-event-state
run-event-state(r;e) == let t,x = e in let info,Cs,G = r t in mapfilter(λc.(snd(c));λc.fst(c) = x;Cs)
Definitions occuring in Statement :
eq_id: a = b,
mapfilter: mapfilter(f;P;L),
spreadn: spread3,
pi1: fst(t),
pi2: snd(t),
apply: f a,
lambda: λx.A[x],
spread: spread def
FDL editor aliases :
run-event-state
Latex:
run-event-state(r;e) ==
let t,x = e
in let info,Cs,G = r t in
mapfilter(\mlambda{}c.(snd(c));\mlambda{}c.fst(c) = x;Cs)
Date html generated:
2015_07_23-AM-11_10_41
Last ObjectModification:
2013_10_25-PM-04_41_01
Home
Index