The play program is a playground for go/types: a simple web-based text editor into which the user can enter a Go program, select a region, and see type information about it.