idris-0.9.16: test/idrisdoc009/input

:consolewidth infinite
:doc Test