Nuprl Definition : but-first-class
Skip-e(X) == λes,e. if first(e) then {} else X es>es-init(es;e) e fi
Definitions occuring in Statement :
eo-strict-forward: eo>e,
es-init: es-init(es;e),
es-first: first(e),
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x],
empty-bag: {}
FDL editor aliases :
but-first-class
Latex:
Skip-e(X) == \mlambda{}es,e. if first(e) then \{\} else X es>es-init(es;e) e fi
Date html generated:
2015_07_20-PM-04_03_26
Last ObjectModification:
2012_04_10-AM-11_18_05
Home
Index