:A Haskell program that implements a Haskell typechecker, thus providing a mathematically rigorous specification in a notation that is familiar to Haskell users. Its web page is cached [http://web.archive.org/web/20060516235636/www.cse.ogi.edu/~mpj/thih/ here].

:A Haskell program that implements a Haskell typechecker, thus providing a mathematically rigorous specification in a notation that is familiar to Haskell users. Its web page is cached [http://web.archive.org/web/20060516235636/www.cse.ogi.edu/~mpj/thih/ here].

The source for the Report is in a publicly visible CVS repository. If you render the report in a new way that others may wish to use, please let us know and we'll add it to this web page. If you have any other ways to package the report please let us know and we'll add them.

The Haskell 98 report was released in February 1999; it is a
refinement and simplification of Haskell 1.4. See the Haskell 98 page for more details on
Haskell 98 and changes from Haskell 1.4.

The definition of
Haskell version 1.4 was finished in April 1997. It contains just minor
changes with respect to version 1.3 from May 1996, whereas the step
from version 1.2 to version 1.3 was quite large.