Thanks for all the good work! We used PLAI for Matthew's undergrad PL course at the U, and HtDP as supplementary material. Good stuff!