Nuprl Definition : bool-cmp
bool-cmp() == λx,y. if x then if y then 0 else 1 fi if y then -1 else 0 fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
lambda: λx.A[x],
minus: -n,
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
minus: -n,
natural_number: $n
FDL editor aliases :
bool-cmp
Latex:
bool-cmp() == \mlambda{}x,y. if x then if y then 0 else 1 fi if y then -1 else 0 fi
Date html generated:
2016_05_14-PM-02_36_42
Last ObjectModification:
2015_09_22-PM-05_56_38
Theory : list_1
Home
Index