Nuprl Definition : pv8_p1_add_if_new
pv8_p1_add_if_new() == 
test,val,lst.if (
zx
lst.test val zx)_b then lst else lst @ [val] fi
Definitions occuring in Statement :
append: as @ bs,
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
cons: [car / cdr],
nil: [],
bl-exists: (xL.P[x])_b
FDL editor aliases :
pv8_p1_add_if_new
pv8_p1_add_if_new
pv8\_p1\_add\_if\_new() == \mlambda{}test,val,lst.if (\mexists{}zx\mmember{}lst.test val zx)\_b then lst else lst @ [val] fi
Date html generated:
2012_02_20-PM-07_16_03
Last ObjectModification:
2012_02_06-PM-01_37_58
Home
Index