5 Dec
2007
5 Dec
'07
10:56 a.m.
On Wed, 5 Dec 2007, Simon Peyton-Jones wrote:
Nothing deep. Just that "=" means so many things that it seemed better to use a different notation.
How about ==? Only one meaning so far, and that both on the term level and equivalent to the constraint. -- flippa@flippac.org Ivanova is always right. I will listen to Ivanova. I will not ignore Ivanova's recomendations. Ivanova is God. And, if this ever happens again, Ivanova will personally rip your lungs out!