Text this: Polygraphic programs and polynomial-time functions