Milestones

• Phase I: Basic project setup
• Phase II:
  • type checking reading
  • parser reading
  • closure reading
  • haskell reading
• Phase III:
  • basic parser
  • extend parser to see annotations
• Phase IV: type checking
• Phase V:
  • writeup
  • presentation