Nuprl Definition : hd?
hd?(L) == if null(L) then inr ⋅ else inl hd(L) fi
Definitions occuring in Statement :
hd: hd(l),
null: null(as),
ifthenelse: if b then t else f fi ,
it: ⋅,
inr: inr x ,
inl: inl x
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
null: null(as),
inr: inr x ,
it: ⋅,
inl: inl x,
hd: hd(l)
FDL editor aliases :
hd?
Latex:
hd?(L) == if null(L) then inr \mcdot{} else inl hd(L) fi
Date html generated:
2016_05_15-PM-04_25_56
Last ObjectModification:
2015_09_23-AM-07_48_32
Theory : general
Home
Index