Hopefully a simple question for someone to answer at leisure: When you say something like
x : y = z in Epigram, what does Epigram understand = to be? What sort of equality is this? It seems to be at some sort of value level, but seeing as how it can work with function equality as well, it's obviously a little less naïve than that. Matthew This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.
