Homework 8
Due: Monday, 11/13
Part 1: Types.v
Complete the following exercises:
- In Types.v:
- Exercise: 3 stars, advanced (value_is_nf)
- Exercise: 3 stars (finish_progress)
- Exercise: 3 stars, advanced (finish_progress_informal)
- Exercise: 1 star (step_review)
- Exercise: 2 stars (finish_preservation)
- Exercise: 1 star (normalize_ex)
- No EC this week.
In each file you submit, please
let me know which exercises you completed in that file, and with whom
you discussed the problems (if anyone).
Submit through
Blackboard before 11:59pm on the due date.
Part 2: Final Project Checkpoint #1
- See projects for potential final project ideas.
- Decide with whom you're working and on what (you may choose to work on something
not listed on the page linked above -- just come talk to me first!).
- Have a representative of your group send me an email by
11:59pm Monday, 11/13, describing briefly (in one or two
sentences) your proposed project and any progress you have made so far.