GHC mirror of the haddock package
Typing rules for Haskell
The Haskell Report and Haskell' standardization effort.