5 Dec
2007
5 Dec
'07
4:56 p.m.
Hello Simon, Wednesday, December 5, 2007, 7:05:22 PM, you wrote:
Anyway, while on this subject, I am considering making the following change: make all operator symbols into type constructors (currently they are type variables)
i like it. will the same apply to the type functions? i.e. will it be possible to define +, *, etc type functions? -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com