28 Jan
2006
28 Jan
'06
3:18 a.m.
On 1/27/06, Benjamin Franksen <benjamin.franksen@bessy.de> wrote:
All normal bindings (i.e. using '=') should be as polymorphic and general as possible. An alternative symbol (':=') should be available,
I don't want to rain on any parade, but just let me point out that under the current grammar, := is a constructor. -- Taral <taralx@gmail.com> "Computer science is no more about computers than astronomy is about telescopes." -- Edsger Dijkstra