Nuprl Definition : RSC_incround
RSC_incround() == 
z.let z,z = z in let z,i = z in s.i
Definitions occuring in Statement :
lambda: x.A[x],
spread: spread def
FDL editor aliases :
RSC_incround
RSC\_incround() == \mlambda{}z.let z,z = z in let z,i = z in \mlambda{}s.i
Date html generated:
2012_02_20-PM-03_59_21
Last ObjectModification:
2012_02_02-PM-01_58_32
Home
Index