Nuprl Definition : update-alist
update-alist(eq;L;x;z;v.f[v]) == rec-case(L) of [] => [<x, z>] | p::ps => r.let a,v = p in if eq a x then [<x, f[v]> / \000Cps] else [p / r] fi
Definitions occuring in Statement :
list_ind: list_ind,
cons: [a / b],
nil: [],
ifthenelse: if b then t else f fi ,
apply: f a,
spread: spread def,
pair: <a, b>
Definitions occuring in definition :
list_ind: list_ind,
nil: [],
spread: spread def,
ifthenelse: if b then t else f fi ,
apply: f a,
pair: <a, b>,
cons: [a / b]
FDL editor aliases :
update-alist
Latex:
update-alist(eq;L;x;z;v.f[v]) ==
rec-case(L) of
[] => [<x, z>]
p::ps =>
r.let a,v = p
in if eq a x then [<x, f[v]> / ps] else [p / r] fi
Date html generated:
2016_05_14-AM-06_29_00
Last ObjectModification:
2015_12_03-PM-02_07_41
Theory : list_0
Home
Index