#!/usr/bin/env bash
idris --nocolour --quiet interactive005.idr < input
rm -f *.ibc
rm -f hello.bytecode
rm -f hello
rm -f a.out