idris-0.9.20: test/interactive010/run

#!/usr/bin/env bash
idris --quiet --nobanner --nocolor  --consolewidth 80 < input