#!/usr/bin/env bash

for file in *.idr; do
  echo Checking ${file}
  ${IDRIS:-idris} --check $@ ${file}
done

rm -f *.ibc