Nuprl Definition : es-decl-set-da
da(dd;i) == (snd(snd(dd))) i
Definitions occuring in Statement :
pi2: snd(t),
apply: f a
FDL editor aliases :
es-decl-set-da
da(dd;i) == (snd(snd(dd))) i
Date html generated:
2015_07_17-AM-11_55_49
Last ObjectModification:
2013_03_27-AM-10_38_29
Home
Index