Nuprl Definition : rsc2_addvote
rsc2_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 :
rsc2_addvote
rsc2\_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_42_11
Last ObjectModification:
2012_02_02-PM-02_05_40
Home
Index