Hi all, I have two questions, which perhaps belong on the teaching list... but I don't think I'm on it (anymore---due to email address changes, etc), so I'll ask the question here. 1. Has DivaScheme been used with students using HtDP? Thoughts? 2. Where do the HtDCH materials live, such that I might peruse them? Many thanks, Matt