git.iko.soy/Idris-dev
on 385dcbf help sign in
Idris-dev/test/primitives003/run
5 lines 104 B history raw
1#!/usr/bin/env bash
2${IDRIS:-idris} $@ -o test038 test038.idr --nocolour
3./test038
4rm -f test038 *.ibc