git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/reg050/run
5 lines 160 B history raw
1#!/usr/bin/env bash
2idris --nocolour --check $@ working.idr
3idris --nocolour --check $@ badbangop.idr
4idris --nocolour --check $@ baddoublebang.idr
5rm -f *.ibc