Nuprl Definition : shuffle
shuffle(ps) == concat(map(λp.[fst(p); snd(p)];ps))
Definitions occuring in Statement :
concat: concat(ll),
map: map(f;as),
cons: [a / b],
nil: [],
pi1: fst(t),
pi2: snd(t),
lambda: λx.A[x]
Definitions occuring in definition :
concat: concat(ll),
map: map(f;as),
lambda: λx.A[x],
pi1: fst(t),
cons: [a / b],
pi2: snd(t),
nil: []
FDL editor aliases :
shuffle
Latex:
shuffle(ps) == concat(map(\mlambda{}p.[fst(p); snd(p)];ps))
Date html generated:
2016_05_14-PM-03_15_35
Last ObjectModification:
2015_09_22-PM-05_59_06
Theory : list_1
Home
Index