Nuprl Definition : testrec2
testrec2(x;L) == letrec f(p)=let x,L = p in if null(L) then x else f <x * x, tl(L)> fi in f <x, L>
Definitions occuring in Statement :
null: null(as),
tl: tl(l),
natrec: natrec,
ifthenelse: if b then t else f fi ,
apply: f a,
spread: spread def,
pair: <a, b>,
multiply: n * m
Definitions occuring in definition :
natrec: natrec,
spread: spread def,
ifthenelse: if b then t else f fi ,
null: null(as),
apply: f a,
multiply: n * m,
tl: tl(l),
pair: <a, b>
FDL editor aliases :
testrec2
Latex:
testrec2(x;L) == letrec f(p)=let x,L = p in if null(L) then x else f <x * x, tl(L)> fi in f <x, L>
Date html generated:
2016_05_15-PM-07_45_33
Last ObjectModification:
2015_09_23-AM-08_18_20
Theory : general
Home
Index