An ITP class about code and design