Previous work (before Sept 10th, 2001)

• Module system
  • Careful reading of the Module section of the Haskell 98 report
  • Results:
    • a clarification of the report
    • an implementation
• Extensible type checker for Haskell 98
• Translation of Haskell to the proof editor Alfa