Programming in the small