Homework 8
Due: Monday, 10/31
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
3:05pm on Monday, 10/31.
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
3:05pm Monday, 10/31, describing briefly (in one or two
sentences) your proposed project and any progress you have made so far.