picturing-programs-typed (racket): Bloch's picturing-programs package converted to be usable in Typed Racket. Typed utility functions for posns also included.
Keywords: 2htdp|picturing-programs|student