idris-1.3.3: test/idrisdoc009/input.in

:consolewidth infinite
:doc Test