Matthias Felleisen wrote:
> 1. I have 10 years of experience with non-graphical type inference
> both HM and SBA. It is clearly the worst thing that anyone in
^^^^^^^ ^^^^^^
> CS ever came up with.
^^^^
Matthias never exaggerates, of course. (-:
Shriram