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 lo
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.
-W-M-
@ @
|
\_/
___
Haskell mailing list
[EMAIL PROTE
Richard,
| for almost a year now, it has been on my list of things to do to read
| thih. for reasons too detailed to get into now, except to say that I
| still use a 486 computer (sans printer) at home, I find reading dvi, ps
| and pdf inconvenient and tend to postpone reading them whereas I ten
| The source code for the current version of `Typing Haskell in Haskell'
| is now available from: http://www.cse.ogi.edu/~mpj/thih/ It is, of
| course, written in Haskell 98, and has been tested and developed using
| Hugs 98.
I'm embarrassed to have discovered that I put the wrong
The source code for the current version of `Typing Haskell in Haskell'
is now available from: http://www.cse.ogi.edu/~mpj/thih/ It is, of
course, written in Haskell 98, and has been tested and developed using
Hugs 98.
For those who don't know, `Typing Haskell in Haskell' i
Over the past few months, I've been putting together a type checker for
Haskell that is also written in Haskell. One of the goals of this
project was to obtain a program that was clear and concise enough to serve:
- As a formal specification of the Haskell 98 type system;
- As a testbed for e
