Nuprl Definition : rsc5_addvote

rsc5_addvote(Cmd;cmdeq) ==
  zf.let zg,sndr = zf 
      in let ni,c = zg 
         in z.let pmaj,z = z 
               in <inl (rsc5_possmajstep(Cmd;cmdeq) pmaj c) , [sndr / z]>


Definitions occuring in Statement :  rsc5_possmajstep: rsc5_possmajstep(Cmd;cmdeq),  apply: f a,  lambda: x.A[x],  spread: spread def,  pair: <a, b>,  inl: inl x ,  cons: [car / cdr]
FDL editor aliases :  rsc5_addvote
rsc5\_addvote(Cmd;cmdeq)  ==
    \mlambda{}zf.let  zg,sndr  =  zf 
            in  let  ni,c  =  zg 
                  in  \mlambda{}z.let  pmaj,z  =  z 
                              in  <inl  (rsc5\_possmajstep(Cmd;cmdeq)  pmaj  c)  ,  [sndr  /  z]>


Date html generated: 2012_02_20-PM-05_05_36
Last ObjectModification: 2012_02_02-PM-02_18_06

Home Index