Disclaimer: Everything here subject to frequent change.
basics
induction
datatypes
polysort
hofs
continuations
regex/exceptions
modules
sequences
lazy/imperative
We'll do our best to keep this webpage updated with the latest about current 15-150 assignments and resources.