#lang scribble/doc
@(require scribble/lp-include)
@lp-include["collatz.ss"]