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