Nuprl Definition : RSC_addvote
RSC_addvote() == 
zi.let zj,sender = zi in let zk,c = zj 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 :
RSC_addvote
RSC\_addvote() ==
\mlambda{}zi.let zj,sender = zi
in let zk,c = zj
in \mlambda{}z.let cmds,z = z
in <[c / cmds], [sender / z]>
Date html generated:
2012_02_20-PM-03_39_58
Last ObjectModification:
2012_02_02-PM-01_58_18
Home
Index