Nuprl Definition : ohc_v2_addvote
ohc_v2_addvote() == 
zd.let ze,sender = zd in let ni,x = ze in z.let cmds,z = z in <[x / cmds], [sender / z]>
Definitions occuring in Statement :
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
cons: [car / cdr]
FDL editor aliases :
ohc_v2_addvote
ohc\_v2\_addvote() ==
\mlambda{}zd.let ze,sender = zd
in let ni,x = ze
in \mlambda{}z.let cmds,z = z
in <[x / cmds], [sender / z]>
Date html generated:
2012_02_20-PM-05_32_56
Last ObjectModification:
2012_02_17-PM-10_21_29
Home
Index