Nuprl Definition : rsc3_addvote
rsc3_addvote(Cmd) == 
zf.let zg,sender = zf in let ni,c = zg in z.let cmds,z = z in <[c / cmds], [sender / z]>
Definitions occuring in Statement :
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
cons: [car / cdr]
FDL editor aliases :
rsc3_addvote
rsc3\_addvote(Cmd) ==
\mlambda{}zf.let zg,sender = zf
in let ni,c = zg
in \mlambda{}z.let cmds,z = z
in <[c / cmds], [sender / z]>
Date html generated:
2012_02_20-PM-04_11_57
Last ObjectModification:
2012_02_02-PM-02_03_23
Home
Index