A resource library for PLT, Haskell, ML and compilers.