#!/usr/bin/env bash
${IDRIS:-idris} --nocolour --quiet interactive005.idr --consolewidth 70 < input
rm -f *.ibc
rm -f hello.bytecode
rm -f hello
rm -f a.out