Sketch-n-Sketch is a programming system that allows users to directly manipulate the output of programs. In response to user actions, Sketch-n-Sketch synthesizes program repairs to reconcile the changes. In this tutorial, participants will learn how to write Sketch-n-Sketch programs to generate digital objects that mix text and graphics, such as diagrams, documents, and web applications. The tutorial will demonstrate how experienced programmers can build programs (or libraries) that customize the basic user interface and user interactions provided by Sketch-n-Sketch. All examples will be presented in the context of our browser-based implementation available from our project page. Before the tutorial, please try loading and running the latest version of Sketch-n-Sketch to make sure that it works with your browser and operating system configuration.

Project webpage: http://ravichugh.github.io/sketch-n-sketch/

Tutorial webpage: http://ravichugh.github.io/sketch-n-sketch/tutorial/icfp-2018/