Your final project is due Friday Dec 17.

More specifically, you are required to demonstrate your project to me and Hong between the hours of 2PM and 5PM in the Zoo (either on a Zoo machine or on your own machine).

The project itself should be submitted as a literate Haskell program (i.e. a .lhs file) that is well documented, including an introduction that describes the program functionality, a section describing a property and its proof, and so on. You may wish (in fact you are encouraged) to split your program into several modules, but in the end please place them all in one file before submitting.

If you'd like an extra day (i.e. by 5PM on the 18th) to clean up the program before submitting it, that's fine. If you intend to finish your project before the 17th, please arrange a time with me and Hong when you can run a demo for us.

The final project will count as 3 homework assignments. Since I am dropping the lowest grade from the assignments, that means it will count 25% of your final grade (3 out of 12).

Your grade on the project will be based 60% on overall functionality, 25% on style and clarity, and 15% on your property and proof.

Let me know if you have any questions.