git.iko.soy/Idris-dev
on bcce759 help sign in
Idris-dev/test/interpret002/input
2 lines 44 B history raw
1:x echo "not a file"
2:x echo "readable.txt"