Recent achievements
Extensible type checker (TH)
- Performs the dictionary translation (the standard way to deal with Haskell overloading)
- Annotates the AST with type information
- Translates to an extended AST
- Allows better translation of Haskell to theorem provers