Nuprl Definition : norep2_onHandle
norep2_onHandle() == 
n,l.if deq-member(IntDeq;n;l) then l else [n / l] fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
lambda: x.A[x],
cons: [car / cdr],
deq-member: deq-member(eq;x;L),
int-deq: IntDeq
FDL editor aliases :
norep2_onHandle
norep2\_onHandle() == \mlambda{}n,l.if deq-member(IntDeq;n;l) then l else [n / l] fi
Date html generated:
2012_02_20-PM-03_36_39
Last ObjectModification:
2012_02_02-PM-01_56_50
Home
Index