idris-0.9.16: test/delab001/input

:consolewidth infinite
:printdef foo
:printdef bar
:printdef append