idris-0.12.2: test/layout001/run

#!/usr/bin/env bash

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

rm -f *.ibc