Nuprl Definition : decdr-to-bool
bool(d) == λx.if d x then inl Ax else inr Ax fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x],
inr: inr x ,
inl: inl x,
axiom: Ax
Definitions occuring in definition :
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
apply: f a,
inl: inl x,
inr: inr x ,
axiom: Ax
FDL editor aliases :
decdr-to-bool
Latex:
bool(d) == \mlambda{}x.if d x then inl Ax else inr Ax fi
Date html generated:
2017_10_03-AM-10_16_30
Last ObjectModification:
2017_07_06-PM-02_04_43
Theory : reals
Home
Index