git.iko.soy/Idris-dev
on bf4e535 help sign in
Idris-dev/test/reg058/run
5 lines 96 B history raw
1#!/usr/bin/env bash
2idris $@ implicits.idr --check
3idris $@ implicits2.idr --check
5rm -f *.ibc