#!/bin/bash
idris test005.idr -o test005
./test005
rm -f test005 test005.ibc