#!/usr/bin/env bash
${IDRIS:-idris} $@ --check \
    reg001.idr reg036.idr reg037.idr reg038.idr reg046.idr \
    reg047a.idr reg053.idr reg057.idr reg058.idr reg058a.idr \
    reg059.idr reg060.idr  reg061.idr reg062.idr reg063.idr \
    reg064.idr reg065.idr  reg066.idr reg071.idr reg074.idr

${IDRIS:-idris} $@ --check --nobuiltins reg047.idr

${IDRIS:-idris} $@ --check --nocolour \
     reg062.lidr reg073.lidr

rm -f *.ibc