disco-0.1.6: test/repl-ann/input

import num
:ann factor
:ann \x. \y. x - 7