Nuprl Definition : round-robin
round-robin(L) == λn.L[n rem ||L||]
Definitions occuring in Statement :
select: L[n],
length: ||as||,
lambda: λx.A[x],
remainder: n rem m
Definitions occuring in definition :
lambda: λx.A[x],
select: L[n],
remainder: n rem m,
length: ||as||
FDL editor aliases :
round-robin
Latex:
round-robin(L) == \mlambda{}n.L[n rem ||L||]
Date html generated:
2016_05_14-PM-03_30_45
Last ObjectModification:
2015_09_22-PM-05_59_54
Theory : decidable!equality
Home
Index