git.iko.soy/Idris-dev
on 54e4e41 help sign in
Idris-dev/test/reg062/run
4 lines 111 B history raw
1#!/usr/bin/env bash
2idris $@ reg062.idr --check --nocolour
3idris $@ reg062.lidr --check --nocolour
4rm -f *.ibc