git.iko.soy/Idris-dev
on b9781fb help sign in
Idris-dev/test/basic010/run
5 lines 114 B history raw
1#!/usr/bin/env bash
3idris $@ Main.idr --nocolour --check --warnreach -o basic010
4./basic010
5rm -f *.ibc basic010