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