Tandoori: Compositional type checker for Haskell 98

Tandoori is an implementation of the compositional type system I've developed for my MSc thesis at ELTE. It is written in Haskell and it can typecheck a reasonable subset of Haskell 98. Here's the available information about it:

You can download Tandoori from github.