idris-1.1.0: test/interpret002/input

:x echo "not a file"
:x echo "readable.txt"