git.iko.soy/Idris-dev
on ca34dec help sign in
Idris-dev/test/basic008/run
4 lines 92 B history raw
1#!/usr/bin/env bash
2${IDRIS:-idris} $@ test036.idr -o test036
3./test036
4rm -f test036 *.ibc