On Tuesday 16 Nov 2004 1:52 pm, Ben Rudiak-Gould wrote:
> George Russell wrote:
> > Sorry, but I like implicit parameters, I use them, and I'm not going
> > to stop using them because beta conversion no longer preserves
> > semantics.
>
> You'll find that many people here don't agree with this v
On Thu, 2004-11-18 at 13:23 +0800, WANG Meng wrote:
> Hi All,
>
> Does anybody know what parser "Typing Haskell in Haskell" use? I am tring
> to use the code for some type checking. But I cannot find a parser in the
> distribution.
Last time I looked, which was a long time ago, there was no parse
