Nuprl Definition : run-event-in-transit
run-event-in-transit(r;e) == let t,x = e in let info,Cs,G = r t in G
Definitions occuring in Statement :
spreadn: spread3,
apply: f a,
spread: spread def
FDL editor aliases :
run-event-in-transit
Latex:
run-event-in-transit(r;e) == let t,x = e in let info,Cs,G = r t in G
Date html generated:
2015_07_23-AM-11_10_49
Last ObjectModification:
2012_02_25-PM-03_41_16
Home
Index