Moderator: Type Systems of Programming Languages
yesaloifolia hat geschrieben:4.1.1
(i) Is <n> also a value?
I don't understand this question.(ii) Should numbers not be circumvented by inequality signs?
Well, your question is the essence of task 4.1.2. The variable convention we use goes back to Barendregt. You may find this information helpful: http://en.wikipedia.org/wiki/De_Bruijn_ ... jn_indices4.1.2
(iii) What is meant by 'variable convention'? I just do not get the essence of the question...
I think the question is why you didn't enclose numeric constants in angled brackets in the expressions which we are to evaluate, even though the official syntax requires it.erdweg hat geschrieben:I don't understand this question.(ii) Should numbers not be circumvented by inequality signs?