On HtDP

This site collects the design rationale for How to Design Programs in the form or essays and memos. For now, they respond to questions that come up repeatedly in public postings or private emails. Eventually, I hope to compile a systematic record of my decisions, a meta-theory of HtDP so to speak.