Choc is a tool for thinking powerful thoughts by stepping through code. It is an implementation of several ideas found in Bret Victor's Learnable Programming. Thinking procedurally is one of the hardest concepts to grasp for the beginning programmer. Choc is a toolkit for teachers to craft small programs that can be explored interactively. Choc is different from other "live-coding" environments in