#!/bin/bash
idris --check $@ reg007.lidr 
rm -f *.ibc