Nuprl Definition : lift_ctr
lift_ctr(f) == 
p.let ctr,F = p in <ctr + 1, f F>
Definitions occuring in Statement :
apply: f a,
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
add: n + m,
natural_number: $n
FDL editor aliases :
lift_ctr
lift\_ctr(f) == \mlambda{}p.let ctr,F = p in <ctr + 1, f F>
Date html generated:
2013_03_20-AM-09_45_33
Last ObjectModification:
2013_02_15-PM-06_01_17
Home
Index