Wenting Wang
2011-10-21 23:18:55 UTC
Hi,
Can someone explain it to me what it means by succ(T,X) being
"undefined". Does it imply we need to give an error message?
Thank you!
Cheryl
Can someone explain it to me what it means by succ(T,X) being
"undefined". Does it imply we need to give an error message?
Thank you!
Cheryl