idris-0.11.1: test/interactive013/input

:cs 3 cc