Nuprl Definition : spreadcons
let a.b = e in t[a; b] == let a,b = e in t[a; b]
Definitions occuring in Statement :
spread: spread def
Definitions occuring in definition :
spread: spread def
FDL editor aliases :
spreadcons
Latex:
let a.b = e in t[a; b] == let a,b = e in t[a; b]
Date html generated:
2017_09_29-PM-05_50_50
Last ObjectModification:
2017_05_10-PM-02_25_21
Theory : ML
Home
Index