HW 0. Getting started with Haskell, due 1/23 (50 points)
HW 1. Haskell basics, due 2/6 (100 points)
HW 2. Higher-order programming and monads in Haskell, due 2/20 (100 points)
Test in class, 2/26 (150 points)
HW 3. Parsing and grammars, due 3/6 (100 points)
Spring Break (no assigned work)
HW 4. Theorem proving in Agda, due 4/3 (100 points)
HW 5. Garbage collection, and project proposal, due 4/17 (125 points)
Test in class, 4/25 (150 points)
Project progress report. Due 5/1 (25 points)
Final project submission. Due 5/8 (100 points)
Also, we will blindly select 14 willing projects for presentation based on the project proposal. Presentations yield 15 bonus points. Presentations will be 10 minutes each 4/30 and 5/2.