#!/bin/bash
idris --check reg003.idr 
idris --check reg003a.idr 
rm -f *.ibc