#!/usr/bin/env bash
idris $@ totality005.idr --total --check
idris $@ totality005.idr -o totality005
./totality005
rm -f totality005 *.ibc