Nuprl Definition : case_pair
<x,y> => body[x; y] == λvalue,cont. let x,y = value in body[x; y]
Definitions occuring in Statement :
lambda: λx.A[x],
spread: spread def
Definitions occuring in definition :
lambda: λx.A[x],
spread: spread def
FDL editor aliases :
case_pair
Latex:
<x,y> => body[x; y] == \mlambda{}value,cont. let x,y = value in body[x; y]
Date html generated:
2016_05_14-PM-04_15_41
Last ObjectModification:
2015_09_22-PM-06_02_33
Theory : prog_1
Home
Index